| Wed, 18 Oct 2000 23:35:08 +0200 | wenzelm | moved to HOL/LIbrary; | changeset | files |
| Wed, 18 Oct 2000 23:33:04 +0200 | wenzelm | added HOL/Library, rearranged several files; | changeset | files |
| Wed, 18 Oct 2000 23:32:19 +0200 | wenzelm | moved to HOL/Library; | changeset | files |
| Wed, 18 Oct 2000 23:31:16 +0200 | wenzelm | "The Supplemental Isabelle/HOL Library"; | changeset | files |
| Wed, 18 Oct 2000 23:30:48 +0200 | wenzelm | added path_add; | changeset | files |
| Wed, 18 Oct 2000 23:29:49 +0200 | wenzelm | A general ``while'' combinator (from main HOL); | changeset | files |
| Wed, 18 Oct 2000 23:29:13 +0200 | wenzelm | Quotient types; | changeset | files |
| Wed, 18 Oct 2000 23:28:33 +0200 | wenzelm | Multisets (from HOL/Induct/Multiset and friends); | changeset | files |