| Fri, 23 Apr 1999 16:38:22 +0200 | wenzelm | improved 'single' method; | changeset | files |
| Fri, 23 Apr 1999 16:33:23 +0200 | wenzelm | added thus, hence; | changeset | files |
| Fri, 23 Apr 1999 16:33:03 +0200 | wenzelm | added FINISHED, same_tac; | changeset | files |
| Fri, 23 Apr 1999 16:31:12 +0200 | wenzelm | use /usr/share and /usr/bin; | changeset | files |
| 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 |
| Thu, 22 Apr 1999 18:25:24 +0200 | wenzelm | fixed IO; | changeset | files |
| Thu, 22 Apr 1999 18:25:07 +0200 | wenzelm | improved load paths; | changeset | files |
| Thu, 22 Apr 1999 18:23:45 +0200 | wenzelm | single method: include not_elim, imp_elim; | changeset | files |
| Thu, 22 Apr 1999 18:20:37 +0200 | wenzelm | more graceful handling of load paths; | changeset | files |
| Thu, 22 Apr 1999 18:18:47 +0200 | wenzelm | improved auto dir handling; | changeset | files |