| Fri, 23 Apr 1999 12:23:21 +0200 | paulson | Now for recdefs that omit the WF relation; | changeset | files |
| Fri, 23 Apr 1999 12:22:30 +0200 | paulson | Now for recdefs that omit the WF relation | changeset | files |
| Fri, 23 Apr 1999 12:20:22 +0200 | paulson | Addition of Auth/KerberosIV; renaming of rules.new.sml to rules.sml | changeset | files |
| Fri, 23 Apr 1999 11:51:38 +0200 | wenzelm | chgrp isabelle; | changeset | files |
| Fri, 23 Apr 1999 11:50:35 +0200 | wenzelm | detailed proofs; | changeset | files |
| Fri, 23 Apr 1999 11:50:17 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 23 Apr 1999 11:48:37 +0200 | wenzelm | oops; | changeset | files |