Wed, 21 Jun 1995 15:12:40 +0200 | clasohm | removed \...\ inside strings | 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 |