src/HOL/MicroJava/ROOT.ML
author haftmann
Fri Jul 25 12:03:31 2008 +0200 (2008-07-25)
changeset 27680 5a557a5afc48
parent 24073 373727835757
child 33615 261abc2e3155
permissions -rw-r--r--
added explicit root theory; some tuning
wenzelm@24073
     1
(* $Id$ *)
kleing@10631
     2
kleing@12911
     3
no_document use_thy "While_Combinator";
kleing@12911
     4
haftmann@27680
     5
use_thy "MicroJava";