Wed, 24 Jul 2002 00:10:52 +0200 | wenzelm | predicate defs via locales; | file | diff | annotate |
Sat, 03 Nov 2001 01:33:54 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 30 Oct 2001 13:43:26 +0100 | wenzelm | lemma Least_mono moved from Typedef.thy to Set.thy; | file | diff | annotate |
Sun, 28 Oct 2001 22:59:12 +0100 | wenzelm | converted theory "Set"; | file | diff | annotate |
Sun, 14 Oct 2001 22:08:29 +0200 | wenzelm | moved rulify to ObjectLogic; | file | diff | annotate |
Sat, 13 Oct 2001 21:43:00 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 03 Oct 2001 21:03:05 +0200 | wenzelm | Tools/induct_attrib.ML now part of Pure; | file | diff | annotate |
Wed, 03 Oct 2001 20:54:05 +0200 | wenzelm | moved linorder_cases to theory Ord; | file | diff | annotate |
Thu, 27 Sep 2001 22:26:00 +0200 | wenzelm | renamed theory "subset" to "Typedef"; | file | diff | annotate |