changeset 3210 | e80db1660614 |
child 6465 | 4086e4f2edc4 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/Modelcheck/ROOT.ML Fri May 16 15:29:41 1997 +0200 @@ -0,0 +1,10 @@ +(* Title: HOL/Modelcheck/ROOT.ML + ID: $Id$ + Author: Olaf Mueller, Jan Philipps, Robert Sandner + Copyright 1997 TU Muenchen + +This is the ROOT file for the Eindhoven Modelchecker example +*) + + +use_thy"Example";