src/HOL/Induct/ROOT.ML
author wenzelm
Sat Feb 03 17:40:16 2001 +0100 (2001-02-03)
changeset 11046 b5f5942781a0
parent 10876 e12892e4666a
child 11058 b3e7863a5060
permissions -rw-r--r--
Induct: converted some theories to new-style format;
paulson@3120
     1
wenzelm@11046
     2
time_use_thy "Mutil";
wenzelm@11046
     3
time_use_thy "Term";
wenzelm@11046
     4
time_use_thy "ABexp";
wenzelm@11046
     5
time_use_thy "Tree";
wenzelm@10876
     6
time_use_thy "Sigma_Algebra";
paulson@3120
     7
time_use_thy "Perm";
paulson@3120
     8
time_use_thy "Comb";
paulson@3120
     9
time_use_thy "PropLog";
paulson@3120
    10
time_use_thy "SList";
paulson@3120
    11
time_use_thy "LFilter";
paulson@3120
    12
time_use_thy "Exp";