src/HOL/TLA/Inc/ROOT.ML
author wenzelm
Fri Oct 05 23:58:52 2001 +0200 (2001-10-05)
changeset 11703 6e5de8d4290a
parent 9000 c20d58286a51
child 17309 c43ed29bd197
permissions -rw-r--r--
tuned;
wenzelm@3823
     1
wenzelm@11703
     2
time_use_thy "Pcount";
wenzelm@9000
     3
time_use_thy "Inc";