haftmann [Mon, 16 Feb 2009 19:11:55 +0100] rev 29877
more default simp rules for sgn
haftmann [Mon, 16 Feb 2009 19:11:35 +0100] rev 29876
re-generated
haftmann [Mon, 16 Feb 2009 19:11:16 +0100] rev 29875
clarified import
haftmann [Mon, 16 Feb 2009 19:11:16 +0100] rev 29874
faster preprocessor
haftmann [Mon, 16 Feb 2009 19:11:15 +0100] rev 29873
added pdivmod on int (for code generation)
haftmann [Mon, 16 Feb 2009 13:38:17 +0100] rev 29872
merged
haftmann [Mon, 16 Feb 2009 13:38:10 +0100] rev 29871
tuned texts
haftmann [Mon, 16 Feb 2009 13:38:09 +0100] rev 29870
dropped Id
haftmann [Mon, 16 Feb 2009 13:38:09 +0100] rev 29869
dropped clause_suc_preproc for generic code generator
haftmann [Mon, 16 Feb 2009 13:38:08 +0100] rev 29868
new primrec