src/HOL/Bali/ROOT.ML
2005-06-06 nipkow 2005-06-06 update -> use
2003-05-14 schirmer 2003-05-14 Adapted to changes in Map.thy
2002-08-30 paulson 2002-08-30 removal of blast.overloaded
2002-07-10 schirmer 2002-07-10 Added unary and binary operations like (+,-,<, ...); Added smallstep semantics (no proofs about it yet).
2002-02-27 schirmer 2002-02-27 Cleaning up the definition of static overriding.
2002-01-28 wenzelm 2002-01-28 tuned;
2002-01-28 schirmer 2002-01-28 Isabelle/Bali sources;