isabelle: Changelog

haftmann [Fri, 24 Apr 2009 21:27:49 +0200] rev 30976

merged

haftmann [Fri, 24 Apr 2009 18:20:37 +0200] rev 30975

some jokes are just too bad to appear in a theory file

haftmann [Fri, 24 Apr 2009 18:01:39 +0200] rev 30974

removed confusion around funpow

haftmann [Fri, 24 Apr 2009 17:45:17 +0200] rev 30973

observe distinction between Pure/Tools and Tools more closely

haftmann [Fri, 24 Apr 2009 17:45:16 +0200] rev 30972

some experiements towards user interface for predicate compiler

haftmann [Fri, 24 Apr 2009 17:45:15 +0200] rev 30971

funpow and relpow with shared "^^" syntax

haftmann [Fri, 24 Apr 2009 08:24:54 +0200] rev 30970

generic postprocessing scheme for term evaluations

haftmann [Fri, 24 Apr 2009 08:24:52 +0200] rev 30969

added helpless comment

haftmann [Thu, 23 Apr 2009 12:17:51 +0200] rev 30968

adaptions due to rearrangment of power operation

haftmann [Thu, 23 Apr 2009 12:17:51 +0200] rev 30967

stripped $Id$

isabelle