src/HOL/W0/ROOT.ML
author urbanc
Tue Jun 05 09:56:19 2007 +0200 (2007-06-05)
changeset 23243 a37d3e6e8323
parent 12944 fa6a3ddec27f
child 33615 261abc2e3155
permissions -rw-r--r--
included Class.thy in the compiling process for Nominal/Examples
nipkow@2518
     1
wenzelm@12944
     2
use_thy "W0";