src/HOL/Bali/Evaln.thy
2002-02-21 wenzelm 2002-02-21 removed theory Option;
2002-01-28 wenzelm 2002-01-28 tuned;
2002-01-28 wenzelm 2002-01-28 tuned header;
2002-01-28 schirmer 2002-01-28 Isabelle/Bali sources;