Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
commented out qed (in case the MC is unavailable);
authormueller
Fri, 16 May 1997 16:10:19 +0200
changeset 3219 9854e3ea09e7
parent 3218 44f01b718eab
child 3220 47d2cf09b3d8
commented out qed (in case the MC is unavailable);
src/HOL/Modelcheck/Example.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Modelcheck/Example.ML	Fri May 16 16:08:38 1997 +0200
+++ b/src/HOL/Modelcheck/Example.ML	Fri May 16 16:10:19 1997 +0200
@@ -16,8 +16,7 @@
 (*actually invoke the model checker*)
 by (mc_tac 1);
 
-qed "reach_ex_thm1";
+(*qed "reach_ex_thm1";*)
 
 
 
-
isabelle