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