#
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
#
4888f523 |
|
15-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove eqtype declaration for term type
|
#
f3e80b92 |
|
18-Nov-2013 |
Narges <nargeskh@kth.se> |
built with standard version
|
#
38d14915 |
|
07-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Remove trailing whitespace in ARM_prover_toolsLib
|
#
3d60a523 |
|
07-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Remove "parser info being discarded warning" message in ARM_prover_toolsLib You can't make changes to the grammar that will get exported within a library implementation.
|
#
02f09555 |
|
01-Nov-2013 |
Narges <nargeskh@kth.se> |
holmade done OK
|