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