| #
a11b170d |
|
10-Mar-2020 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
"Reverse" -> "reverse" also in CCS example
|
| #
1ee6eb16 |
|
15-Sep-2019 |
Chun Tian <binghe.lisp@gmail.com> |
Latest updates of the CCS example
* Latest updates of CCS example
* Removed trailing spaces ...
|
| #
7357d64d |
|
02-Sep-2019 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] MultivariateTheory: general forms of the "unique solution of equations/contractions" theorems
|
| #
1383cba4 |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete trailing whitespace in examples
|
| #
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
| #
b76f5f74 |
|
19-Sep-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Updated CCS example with some fixed definitions and other small changes
|
| #
b3971503 |
|
21-May-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] fixed 3 broken lemmas due to changes of irule in d2d6d792.
|
| #
3c298ffa |
|
04-Dec-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[CCS] Fixed TeX_notation of STRONG_EQ; added ExampleScript with extra historical scripts.
|
| #
c90f4ed8 |
|
25-Jul-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
New version of the CCS example
|
| #
0fe375e3 |
|
15-May-2017 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
[example] a formalization of process algebra CCS (ported from HOL88)
|