| Thu, 10 Oct 2002 14:23:19 +0200 | berghofe | Removed obsolete function "fun_rel_comp". | changeset | files |
| Thu, 10 Oct 2002 14:21:49 +0200 | berghofe | Added choice_eq. | changeset | files |
| Thu, 10 Oct 2002 14:21:20 +0200 | berghofe | - Added range_ex1_eq | changeset | files |
| Thu, 10 Oct 2002 14:19:17 +0200 | berghofe | Removed obsolete function "Funs". | changeset | files |
| Thu, 10 Oct 2002 14:18:01 +0200 | berghofe | Added functions Suml and Sumr which are useful for constructing | changeset | files |
| Wed, 09 Oct 2002 11:07:13 +0200 | paulson | Re-organization of Constructible theories | changeset | files |
| Tue, 08 Oct 2002 14:09:18 +0200 | kleing | type safety with defensive machine | changeset | files |