Fri, 03 Nov 2000 10:23:24 +0100 | paulson | replaced Acc.thy by Advanced.thy | changeset | files |
Thu, 02 Nov 2000 15:45:32 +0100 | paulson | no longer needed: too complicated an example | changeset | files |
Thu, 02 Nov 2000 15:44:13 +0100 | nipkow | *** empty log message *** | changeset | files |
Thu, 02 Nov 2000 11:00:29 +0100 | paulson | auto generated | changeset | files |
Tue, 31 Oct 2000 20:33:10 +0100 | wenzelm | tuned goal output; | changeset | files |
Tue, 31 Oct 2000 13:59:41 +0100 | nipkow | *** empty log message *** | changeset | files |
Tue, 31 Oct 2000 08:53:12 +0100 | nipkow | *** empty log message *** | changeset | files |