#
486e9658 |
|
11-Apr-2020 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Updated HOL Description for mathematical theories (with other cumulative fixes)
|
#
cbb5917d |
|
19-Sep-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Tidy up some src directories for line-lengths
|
#
2737e790 |
|
08-Aug-2019 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Moved BISIM(_REL) theorems to bisimulationTheory with coinduction principles added
|
#
262ea2a6 |
|
07-Aug-2019 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
The basic theory of weak bisimulation and its sample usage in CCS example
|