author wenzelm

Wed, 03 Nov 1999 17:40:59 +0100

changeset 7995 612352dad48e

parent 7994 1e9a13d5375a

child 7996 47fd71420af3

src/HOL/Modelcheck/README.html file | annotate | diff | comparison | revisions
     1.1 --- a/src/HOL/Modelcheck/README.html	Wed Nov 03 17:40:26 1999 +0100
     1.2 +++ b/src/HOL/Modelcheck/README.html	Wed Nov 03 17:40:59 1999 +0100
     1.3 @@ -1,5 +1,10 @@
     1.4 +<html>
     1.5  
     1.6 -<html><head><title>HOL/Modelcheck</title></head><body>
     1.7 +<!-- $Id$ -->
     1.8 +
     1.9 +<head><title>HOL/Modelcheck</title></head>
    1.10 +
    1.11 +<body>
    1.12  
    1.13  <h2>Invoking Model Checkers in Isabelle/HOL</h2>
    1.14