| Mon, 30 Mar 1998 21:09:46 +0200 | oheimb | adapted proof of finite_converse | changeset | files |
| Mon, 30 Mar 1998 21:08:05 +0200 | oheimb | added wf_converse_trancl, adapted proof of wfrec | changeset | files |
| 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 |