| Mon, 30 Mar 1998 21:06:09 +0200 | oheimb | added caveat | changeset | files |
| Mon, 30 Mar 1998 21:05:25 +0200 | oheimb | added introduction and elimination rules for Univalent | changeset | files |
| Mon, 30 Mar 1998 21:04:41 +0200 | oheimb | added Univalent_rel_pow | changeset | files |
| Mon, 30 Mar 1998 21:04:13 +0200 | oheimb | removed superfluous use_thy | changeset | files |
| Mon, 30 Mar 1998 21:03:14 +0200 | oheimb | removed superfluous translations | changeset | files |
| Tue, 24 Mar 1998 16:57:40 +0100 | wenzelm | added try, single, many; | changeset | files |
| Tue, 24 Mar 1998 15:57:18 +0100 | oheimb | added cproj', and therefore extended prj | changeset | files |