# HG changeset patch
# User wenzelm
# Date 941647259 -3600
# Node ID 612352dad48ee1a6a24e3474b325844599ccd62f
# Parent 1e9a13d5375a256a5902519b332b4a2cc9ef4dc2
Id;
diff -r 1e9a13d5375a -r 612352dad48e src/HOL/Modelcheck/README.html
--- a/src/HOL/Modelcheck/README.html Wed Nov 03 17:40:26 1999 +0100
+++ b/src/HOL/Modelcheck/README.html Wed Nov 03 17:40:59 1999 +0100
@@ -1,5 +1,10 @@
+
-HOL/Modelcheck
+
+
+HOL/Modelcheck
+
+
Invoking Model Checkers in Isabelle/HOL