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.
Id;
authorwenzelm
Wed, 03 Nov 1999 17:40:59 +0100
changeset 7995 612352dad48e
parent 7994 1e9a13d5375a
child 7996 47fd71420af3
Id;
src/HOL/Modelcheck/README.html file | annotate | diff | comparison | revisions 
--- 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 @@
+<html>
 
-<html><head><title>HOL/Modelcheck</title></head><body>
+<!-- $Id$ -->
+
+<head><title>HOL/Modelcheck</title></head>
+
+<body>
 
 <h2>Invoking Model Checkers in Isabelle/HOL</h2>
isabelle