| Thu, 01 Feb 2001 18:47:31 +0100 | oheimb | added sum_case_map_upd_empty, sum_case_empty_map_upd, and | file | diff | annotate |
| Wed, 24 Jan 2001 20:55:29 +0100 | wenzelm | empty_upd_none; | file | diff | annotate |
| Fri, 21 Jul 2000 17:46:34 +0200 | oheimb | added map_upd_nonempty, also to simpset | file | diff | annotate |
| Sun, 16 Jul 2000 20:50:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 16 Jul 2000 20:50:15 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 14 Jul 2000 16:28:56 +0200 | oheimb | added sum_case_empty_empty (also to simpset) | file | diff | annotate |
| Fri, 02 Jun 2000 17:45:32 +0200 | oheimb | added map_of_mapk_SomeI and weak_map_of_SomeI | file | diff | annotate |
| Mon, 20 Mar 2000 18:25:35 +0100 | paulson | tidied | file | diff | annotate |
| Fri, 18 Feb 2000 20:24:40 +0100 | oheimb | added domI, domD | file | diff | annotate |
| Fri, 18 Feb 2000 15:34:22 +0100 | paulson | expandshort | file | diff | annotate |
| Fri, 28 Jan 2000 14:49:00 +0100 | oheimb | added finite_range_updI, finite_range_map_of, finite_range_map_of_override | file | diff | annotate |
| Thu, 28 Oct 1999 14:55:23 +0200 | paulson | expandshort | file | diff | annotate |
| Wed, 27 Oct 1999 19:32:19 +0200 | oheimb | added various little lemmas | file | diff | annotate |
| Wed, 03 Mar 1999 11:15:18 +0100 | paulson | expandshort | file | diff | annotate |
| Wed, 09 Sep 1998 17:21:33 +0200 | oheimb | AddSDs[override_SomeD]; | file | diff | annotate |
| Wed, 12 Aug 1998 16:04:27 +0200 | oheimb | defined map_upd by translation via fun_upd | file | diff | annotate |
| Fri, 24 Jul 1998 17:18:15 +0200 | nipkow | Map.update -> map_upd, Unpdate.update -> fun_upd | file | diff | annotate |
| Fri, 24 Jul 1998 13:03:20 +0200 | berghofe | Adapted to new datatype package. | file | diff | annotate |
| Wed, 15 Jul 1998 10:15:13 +0200 | paulson | Removal of leading "\!\!..." from most Goal commands | file | diff | annotate |
| 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 |