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
     1 (*ID:         $Id$*)
     2 header {* Meson test cases *}
     3 
     4 theory mesontest2 imports Main begin
     5 
     6 hide const subset
     7 
     8 end