| Thu, 08 Jan 1998 17:44:50 +0100 | oheimb | added update_same, update_other, update_triv, and map_of_SomeD | file | diff | annotate |
| Tue, 16 Dec 1997 17:58:03 +0100 | wenzelm | expandshort; | file | diff | annotate |
| Mon, 03 Nov 1997 12:13:18 +0100 | wenzelm | isatool fixclasimp; | file | diff | annotate |
| Mon, 03 Nov 1997 09:57:35 +0100 | nipkow | expand_option_case -> split_option_case | file | diff | annotate |
| Fri, 24 Oct 1997 10:31:31 +0200 | nipkow | Added the new theory Map. | file | diff | annotate |