| Wed, 01 Mar 1995 17:37:09 +0100 | lcp | Proofs of inv1 and inv4 now use less_le_trans instead of | file | diff | annotate |
| Mon, 21 Nov 1994 17:50:34 +0100 | clasohm | replaced 'val ... = result()' by 'qed "..."' | file | diff | annotate |
| Wed, 09 Nov 1994 19:51:09 +0100 | nipkow | Added headers and made various small mods. | file | diff | annotate |
| Wed, 02 Nov 1994 11:50:09 +0100 | clasohm | added IOA to isabelle/HOL | file | diff | annotate |