| Fri, 16 May 1997 16:14:58 +0200 | mueller | readme added | changeset | files |
| Fri, 16 May 1997 16:10:19 +0200 | mueller | commented out qed (in case the MC is unavailable); | changeset | files |
| Fri, 16 May 1997 16:08:38 +0200 | mueller | added Modelcheck example; | changeset | files |
| Fri, 16 May 1997 15:57:11 +0200 | wenzelm | still under construction! | changeset | files |
| Fri, 16 May 1997 15:55:02 +0200 | wenzelm | improved www4 ref; | changeset | files |
| Fri, 16 May 1997 15:54:04 +0200 | wenzelm | fixed infix syntax; | changeset | files |
| Fri, 16 May 1997 15:53:35 +0200 | wenzelm | fixed Modelchek reference; | changeset | files |
| Fri, 16 May 1997 15:51:11 +0200 | wenzelm | SYNC; | changeset | files |
| Fri, 16 May 1997 15:50:24 +0200 | wenzelm | hint at more sections; | changeset | files |
| Fri, 16 May 1997 15:49:27 +0200 | wenzelm | added \settdx; | changeset | files |
| Fri, 16 May 1997 15:29:41 +0200 | mueller | Invoking Model Checkers in Isabelle/HOL; | changeset | files |
| Fri, 16 May 1997 13:02:28 +0200 | oheimb | renamed unsafe_addss to addss | changeset | files |
| Fri, 16 May 1997 10:43:44 +0200 | paulson | Subst now moved to directory HOL | changeset | files |
| Thu, 15 May 1997 15:51:47 +0200 | oheimb | renamed unsafe_addss to addss | changeset | files |