| Fri, 02 Dec 1994 10:26:59 +0100 | nipkow | list_ind_tac -> list.induct_tac | 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 |