| Thu, 12 Sep 1996 18:05:33 +0200 | oheimb | renamed adm_disj_lemma11 to adm_lemma11 | changeset | files |
| Thu, 12 Sep 1996 17:28:06 +0200 | oheimb | added comment on is_flat | changeset | files |
| Thu, 12 Sep 1996 17:18:00 +0200 | oheimb | added stric | changeset | files |
| Thu, 12 Sep 1996 15:22:52 +0200 | oheimb | undo last revision | changeset | files |
| Thu, 12 Sep 1996 15:17:41 +0200 | oheimb | bin/isa2latex: copy the binary to bin/isa2latex instead of linking it there | changeset | files |
| Thu, 12 Sep 1996 11:47:42 +0200 | oheimb | new \subsubsection{Configuring conversion tables and keyboard bindings} | changeset | files |
| Thu, 12 Sep 1996 10:40:05 +0200 | paulson | Tidied many proofs, using AddIffs to let equivalences take | changeset | files |