Theory mesontest2

Up to index of Isabelle/HOL/ex

theory mesontest2
imports Main
uses [mesontest2.ML]
begin

(*ID:         $Id: mesontest2.thy,v 1.4 2005/06/17 14:12:50 haftmann Exp $*)
header {* Meson test cases *}

theory mesontest2 imports Main begin

end