src/HOL/Bali/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2009-09-21 haftmann 2009-09-21 added session theory for Bali
2007-07-30 wenzelm 2007-07-30 simultaneous use_thys; tuned;
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;