| 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 |
| Wed, 18 Oct 2000 23:28:02 +0200 | wenzelm | The accessible part of a relation (from HOL/Induct/Acc); | changeset | files |
| Wed, 18 Oct 2000 23:27:16 +0200 | wenzelm | \isabellecontext: output_syms; | changeset | files |