| #
e86e2be6 |
|
08-May-2018 |
Simon Jantsch <simon.jantsch@gmail.com> |
rearranged fields of alternating automaton type
|
| #
8d28b9b8 |
|
25-Jan-2018 |
Simon Jantsch <simon.jantsch@gmail.com> |
changed wording waa -> vwaa
|
| #
edee5b2f |
|
12-Sep-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
Some new helpers and refactoring
|
| #
1ea025a4 |
|
29-Aug-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
fixes regarding renaming
|
| #
30400f5c |
|
28-Aug-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix some logic/ltl proofs broken under experimental kernel
Enough to use rename and rename1 to force names to appear in goal.
|
| #
4c732463 |
|
27-Aug-2017 |
Simon Jantsch <simon.jantsch@gmail.com> |
renamed example directory and added it to tools/sequences/final-examples
|