src/HOL/ex/Meson_Test.thy
2008-04-22 haftmann 2008-04-22 constant HOL.eq now qualified
2008-04-02 haftmann 2008-04-02 explicit class "eq" for operational equality
2008-02-06 chaieb 2008-02-06 between constant removed
2008-01-21 berghofe 2008-01-21 Removed Logic.auto_rename.
2007-08-20 haftmann 2007-08-20 turned locales intro classes
2007-08-17 wenzelm 2007-08-17 proper signature for Meson;
2007-08-02 wenzelm 2007-08-02 reset Logic.auto_rename;
2007-08-02 wenzelm 2007-08-02 tuned;
2007-08-02 wenzelm 2007-08-02 converted Meson tests to proper theory;