| Sat, 25 Sep 1999 13:06:06 +0200 | wenzelm | skolem_tag; | changeset | files |
| Sat, 25 Sep 1999 13:05:38 +0200 | wenzelm | added fold_rule; | changeset | files |
| Fri, 24 Sep 1999 17:18:51 +0200 | wenzelm | * HOL/Real/HahnBanach: the Hahn-Banach theorem for real vector spaces | changeset | files |