| 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 |