| Fri, 03 Nov 2000 21:25:30 +0100 | wenzelm | added atomic_judgment; | changeset | files |
| Fri, 03 Nov 2000 21:25:10 +0100 | wenzelm | structure Obtain = Obtain; | changeset | files |
| Fri, 03 Nov 2000 18:33:57 +0100 | paulson | new lemma card_Diff2_less for mulilated chess board | changeset | files |
| Fri, 03 Nov 2000 17:57:00 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 03 Nov 2000 17:14:06 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 03 Nov 2000 16:53:39 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 03 Nov 2000 10:26:23 +0100 | paulson | the section command will belong to the new file | changeset | files |
| Fri, 03 Nov 2000 10:24:33 +0100 | paulson | advanced induction examples | changeset | files |
| Fri, 03 Nov 2000 10:24:06 +0100 | paulson | auto update? | changeset | files |
| 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 |