Fri, 11 Jul 2003 14:57:00 +0200 Added generator for test case generators.
berghofe [Fri, 11 Jul 2003 14:57:00 +0200] rev 14104
Added generator for test case generators.
Fri, 11 Jul 2003 14:56:30 +0200 mk_int now produces specific constants for 0 and 1.
berghofe [Fri, 11 Jul 2003 14:56:30 +0200] rev 14103
mk_int now produces specific constants for 0 and 1.
Fri, 11 Jul 2003 14:55:17 +0200 - Installed specific code generator for equality enforcing that
berghofe [Fri, 11 Jul 2003 14:55:17 +0200] rev 14102
- Installed specific code generator for equality enforcing that arguments do not have function types, which would result in an error message during compilation. - Added test case generators for basic types.
Fri, 11 Jul 2003 14:12:41 +0200 added upd_fst, upd_snd, some thms
oheimb [Fri, 11 Jul 2003 14:12:41 +0200] rev 14101
added upd_fst, upd_snd, some thms
Fri, 11 Jul 2003 14:12:06 +0200 added map_image, restrict_map, some thms
oheimb [Fri, 11 Jul 2003 14:12:06 +0200] rev 14100
added map_image, restrict_map, some thms
Fri, 11 Jul 2003 14:12:02 +0200 added fold_red, o2l, postfix, some thms
oheimb [Fri, 11 Jul 2003 14:12:02 +0200] rev 14099
added fold_red, o2l, postfix, some thms
Fri, 11 Jul 2003 14:11:56 +0200 added rev_ballE
oheimb [Fri, 11 Jul 2003 14:11:56 +0200] rev 14098
added rev_ballE
Fri, 11 Jul 2003 13:54:32 +0200 re-introduced sort constraints on LHS
oheimb [Fri, 11 Jul 2003 13:54:32 +0200] rev 14097
re-introduced sort constraints on LHS
Fri, 11 Jul 2003 13:54:26 +0200 corrected markup text
oheimb [Fri, 11 Jul 2003 13:54:26 +0200] rev 14096
corrected markup text
Thu, 10 Jul 2003 17:14:41 +0200 Changed many Intersection rules from i:I to I~=0 to avoid introducing a new
paulson [Thu, 10 Jul 2003 17:14:41 +0200] rev 14095
Changed many Intersection rules from i:I to I~=0 to avoid introducing a new variable
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip