#
8d83067c |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from examples
|
#
77670ed4 |
|
04-Oct-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix some errors in HolCheck caused by adoption of Basis 2002 features. Also reformat some of the code to squeeze more of it back inside 80 columns.
|
#
49278c00 |
|
06-Jun-2009 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove use of Polyhash from this example. It too should now build under Poly/ML. Once I've finished purging Polyhash, I'll shift these changes across to the release branch.
|
#
b75ec895 |
|
07-Dec-2008 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Get the HolCheck directory to build. It would be nice to get the AMBA example to work as well, but this isn't quite there just yet. The bulk of the problems in HolCheck were the change to the string type, with one or two caused by the additional pickiness of parse_in_context.
|
#
36ff3808 |
|
01-Nov-2007 |
Hasan Amjad <ha227@cam.ac.uk> |
muddy, HolBdd and HolCheck moved into examples. Mainly to simplify HOL installation requirements.
|