| 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 |