| Wed, 25 Jul 2001 17:58:26 +0200 | paulson | Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice | file | diff | annotate |
| Thu, 31 May 2001 16:50:16 +0200 | oheimb | added same_fstI as safe intro rule | file | diff | annotate |
| Tue, 20 Feb 2001 18:47:30 +0100 | oheimb | added same_fstI | file | diff | annotate |
| Thu, 15 Feb 2001 16:01:47 +0100 | oheimb | moved inv_image to Relation | file | diff | annotate |
| Mon, 29 Jan 2001 23:02:21 +0100 | nipkow | Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy | file | diff | annotate |
| Wed, 13 Dec 2000 09:32:55 +0100 | nipkow | small mods. | file | diff | annotate |
| Tue, 17 Oct 2000 10:21:12 +0200 | paulson | renaming of contrapos rules | file | diff | annotate |
| Thu, 12 Oct 2000 18:44:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |