src/HOL/ex/mesontest2.thy
author urbanc
Tue Jun 05 09:56:19 2007 +0200 (2007-06-05)
changeset 23243 a37d3e6e8323
parent 19668 6afaf300cb78
child 23774 07968f8cc662
permissions -rw-r--r--
included Class.thy in the compiling process for Nominal/Examples
paulson@15285
     1
(*ID:         $Id$*)
wenzelm@11586
     2
header {* Meson test cases *}
wenzelm@10440
     3
haftmann@16417
     4
theory mesontest2 imports Main begin
wenzelm@10440
     5
wenzelm@19668
     6
hide const subset
wenzelm@19668
     7
wenzelm@10440
     8
end