src/HOL/AxClasses/ROOT.ML
author haftmann
Mon Aug 14 13:46:06 2006 +0200 (2006-08-14)
changeset 20380 14f9f2a1caa6
parent 10134 537206cc738f
child 24104 719fbe4fb77f
permissions -rw-r--r--
simplified code generator setup
wenzelm@10134
     1
wenzelm@10134
     2
time_use_thy "Semigroups";
wenzelm@10134
     3
time_use_thy "Group";
wenzelm@10134
     4
time_use_thy "Product";