src/HOL/ex/set.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Wed, 02 Feb 2005 18:06:25 +0100 paulson tidying of some subst/simplesubst proofs
Tue, 01 Feb 2005 18:01:57 +0100 paulson the new subst tactic, by Lucas Dixon
Mon, 22 Nov 2004 11:54:08 +0100 nipkow fixed proof
Mon, 12 Jan 2004 16:51:45 +0100 paulson Added lemmas to Ring_and_Field with slightly modified simplification rules
Tue, 07 May 2002 14:27:39 +0200 wenzelm tuned presentation;
Thu, 14 Mar 2002 16:48:34 +0100 paulson converted theory "set" to Isar and added some SET-VAR examples
Wed, 21 Jun 2000 15:58:23 +0200 wenzelm fixed deps;
less more (0) tip