| Fri, 21 Feb 1997 16:28:00 +0100 | wenzelm | tuned some chars; | changeset | files |
| Fri, 21 Feb 1997 15:38:44 +0100 | paulson | More robust proof (?) | changeset | files |
| Fri, 21 Feb 1997 15:31:47 +0100 | paulson | Replaced "flat" by the Basis Library function List.concat | changeset | files |
| Fri, 21 Feb 1997 15:30:41 +0100 | paulson | Introduction of rotate_rule | changeset | files |
| Fri, 21 Feb 1997 15:15:26 +0100 | wenzelm | removed empty line (which broke xfedor); | changeset | files |
| Fri, 21 Feb 1997 15:14:16 +0100 | wenzelm | don't hack, use xfed or xfedor; | changeset | files |
| Fri, 21 Feb 1997 11:18:33 +0100 | wenzelm | fixed Id comment; | changeset | files |
| Thu, 20 Feb 1997 17:02:42 +0100 | wenzelm | makedist -- make Isabelle distribution. | changeset | files |