src/HOL/Modelcheck/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
1999-11-03 wenzelm 1999-11-03 tuned;
1999-11-03 wenzelm 1999-11-03 MUCKE_HOME;
1999-11-03 wenzelm 1999-11-03 Id;
1999-11-03 wenzelm 1999-11-03 improved;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
1997-05-20 mueller 1997-05-20 added eindhoven http address
1997-05-16 mueller 1997-05-16 Invoking Model Checkers in Isabelle/HOL;