src/HOL/IMP/Expr.thy
1996-08-08 berghofe 1996-08-08 Simplified primrec definitions.
1996-06-06 paulson 1996-06-06 Quotes now optional around inductive set
1996-05-07 paulson 1996-05-07 Removal of special syntax for -a-> and -b->
1996-04-27 nipkow 1996-04-27 Arithemtic and boolean expressions are now in a separate theory. The commands don not use them directly. Instead they are based on the semantics (rather than the syntax) of expressions.