| #
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
| #
16629a06 |
|
24-Oct-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] late developments with new theorems; fixed with K11 release; selftest added
|
| #
4e1408fc |
|
15-Aug-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove trailing whitespace throughout examples/
|
| #
af80ac9f |
|
26-Jul-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] fixed grammar parsing according to suggestions of HOL maintainers
|
| #
c90f4ed8 |
|
25-Jul-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
New version of the CCS example
|