Tue, 16 Aug 1994 19:06:14 +0200 | lcp | ZF/ex/Equiv.thy,.ML: moved to main directory as EquivClass.thy,.ML | changeset | files |
Tue, 16 Aug 1994 19:03:45 +0200 | lcp | ZF/Finite: added the finite function space, A-||>B | changeset | files |
Tue, 16 Aug 1994 19:01:26 +0200 | lcp | ZF/pair.ML: moved some definitions here from simpdata.ML | changeset | files |