src/HOL/Modelcheck/Example.thy
Fri, 30 May 1997 16:37:20 +0200 mueller trivial changes to incorporate CTL.thy and Example.ML in html file;
Tue, 20 May 1997 10:28:19 +0200 mueller little changes
Fri, 16 May 1997 15:29:41 +0200 mueller Invoking Model Checkers in Isabelle/HOL;
less more (0) tip