| 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 |