Mon, 16 Feb 2009 19:11:55 +0100 more default simp rules for sgn
haftmann [Mon, 16 Feb 2009 19:11:55 +0100] rev 29940
more default simp rules for sgn
Mon, 16 Feb 2009 19:11:35 +0100 re-generated
haftmann [Mon, 16 Feb 2009 19:11:35 +0100] rev 29939
re-generated
Mon, 16 Feb 2009 19:11:16 +0100 clarified import
haftmann [Mon, 16 Feb 2009 19:11:16 +0100] rev 29938
clarified import
Mon, 16 Feb 2009 19:11:16 +0100 faster preprocessor
haftmann [Mon, 16 Feb 2009 19:11:16 +0100] rev 29937
faster preprocessor
Mon, 16 Feb 2009 19:11:15 +0100 added pdivmod on int (for code generation)
haftmann [Mon, 16 Feb 2009 19:11:15 +0100] rev 29936
added pdivmod on int (for code generation)
Mon, 16 Feb 2009 13:38:17 +0100 merged
haftmann [Mon, 16 Feb 2009 13:38:17 +0100] rev 29935
merged
Mon, 16 Feb 2009 13:38:10 +0100 tuned texts
haftmann [Mon, 16 Feb 2009 13:38:10 +0100] rev 29934
tuned texts
Mon, 16 Feb 2009 13:38:09 +0100 dropped Id
haftmann [Mon, 16 Feb 2009 13:38:09 +0100] rev 29933
dropped Id
Mon, 16 Feb 2009 13:38:09 +0100 dropped clause_suc_preproc for generic code generator
haftmann [Mon, 16 Feb 2009 13:38:09 +0100] rev 29932
dropped clause_suc_preproc for generic code generator
Mon, 16 Feb 2009 13:38:08 +0100 new primrec
haftmann [Mon, 16 Feb 2009 13:38:08 +0100] rev 29931
new primrec
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip