| Tue, 20 May 1997 10:47:56 +0200 | wenzelm | index: model checkers; | changeset | files |
| Tue, 20 May 1997 10:44:45 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Tue, 20 May 1997 10:39:23 +0200 | wenzelm | SYNC; | changeset | files |
| Tue, 20 May 1997 10:28:19 +0200 | mueller | little changes | changeset | files |
| Mon, 19 May 1997 15:22:41 +0200 | paulson | Documented auto_tac | changeset | files |
| Mon, 19 May 1997 15:22:21 +0200 | paulson | Section numbers may now be nested three deep, as in 1.2.3 | changeset | files |
| Fri, 16 May 1997 17:40:41 +0200 | nipkow | Distributed Psubset stuff to basic set theory files, incl Finite. | changeset | files |
| Fri, 16 May 1997 17:14:55 +0200 | oheimb | renamed unsafe_addss to addss | changeset | files |
| 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 |
| Thu, 15 May 1997 15:51:09 +0200 | oheimb | renamed addss to addSss, unsafe_addss to addss, extended auto_tac | changeset | files |
| Thu, 15 May 1997 15:47:19 +0200 | wenzelm | *** empty log message *** | changeset | files |