| 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 |
| Tue, 24 Mar 1998 15:57:18 +0100 | oheimb | added cproj', and therefore extended prj | changeset | files |
| Tue, 24 Mar 1998 15:54:42 +0100 | oheimb | added cproj', and therefore extended prj | changeset | files |
| Tue, 24 Mar 1998 15:53:47 +0100 | oheimb | improved checks | changeset | files |
| Tue, 24 Mar 1998 15:51:37 +0100 | oheimb | added o2s | changeset | files |
| Tue, 24 Mar 1998 15:49:32 +0100 | oheimb | added finite_acyclic_wf_converse: corrected 8bit chars | changeset | files |
| Tue, 24 Mar 1998 15:46:34 +0100 | oheimb | added acyclicI | changeset | files |
| Tue, 24 Mar 1998 15:46:08 +0100 | oheimb | added finite_acyclic_wf_converse | changeset | files |
| Mon, 23 Mar 1998 13:56:53 +0100 | paulson | more thms | changeset | files |