| Mon, 22 Jun 1998 17:26:46 +0200 | wenzelm | isatool fixgoal; | file | diff | annotate |
| Tue, 02 Jun 1998 15:08:42 +0200 | oheimb | added option_map_o_empty | file | diff | annotate |
| Thu, 14 May 1998 16:32:33 +0200 | oheimb | added option_map_o_update | file | diff | annotate |
| Fri, 01 May 1998 22:28:25 +0200 | oheimb | added finite_dom_map_of and ran_update | file | diff | annotate |
| Mon, 27 Apr 1998 19:32:19 +0200 | oheimb | cleanup for split_all_tac as wrapper in claset() | file | diff | annotate |
| Sat, 07 Mar 1998 16:29:29 +0100 | nipkow | Removed `addsplits [expand_if]' | file | diff | annotate |
| 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 |