isabelle: Changelog

haftmann [Thu, 16 Apr 2009 14:02:13 +0200] rev 30936

added simproc

haftmann [Thu, 16 Apr 2009 14:02:12 +0200] rev 30935

dropped unnamed infix

haftmann [Thu, 16 Apr 2009 14:02:11 +0200] rev 30934

tuned setups of CancelDivMod

haftmann [Thu, 16 Apr 2009 10:11:45 +0200] rev 30933

merged

haftmann [Thu, 16 Apr 2009 10:11:35 +0200] rev 30932

tuned order of functions

haftmann [Thu, 16 Apr 2009 10:11:35 +0200] rev 30931

generalized some simprocs from int to semiring_div

haftmann [Thu, 16 Apr 2009 10:11:34 +0200] rev 30930

tightended specification of class semiring_div

haftmann [Wed, 15 Apr 2009 15:52:37 +0200] rev 30929

code generator bootstrap theory src/Tools/Code_Generator.thy

haftmann [Wed, 15 Apr 2009 15:38:30 +0200] rev 30928

say farewell to code related to old code_funcgr module

haftmann [Wed, 15 Apr 2009 15:34:54 +0200] rev 30927

wrecked old code_funcgr module

isabelle