src/HOL/Bali/DeclConcepts.thy
2002-09-26 paulson 2002-09-26 Converted Fun to Isar style. Moved Pi, funcset, restrict from Fun.thy to Library/FuncSet.thy. Renamed constant "Fun.op o" to "Fun.comp"
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2002-02-27 schirmer 2002-02-27 Cleaning up the definition of static overriding.
2002-02-25 wenzelm 2002-02-25 clarified syntax of ``long'' statements: fixes/assumes/shows;
2002-02-22 schirmer 2002-02-22 Added check for field/method access to operational semantics and proved the acesses valid.
2002-01-28 wenzelm 2002-01-28 tuned;
2002-01-28 schirmer 2002-01-28 Isabelle/Bali sources;