doc-src/AxClass/Nat/ROOT.ML
author huffman
Tue, 22 May 2007 07:29:49 +0200
changeset 23069 cdfff0241c12
parent 8890 9a44d8d98731
permissions -rw-r--r--
rename lemmas LIM_ident, isCont_ident, DERIV_ident
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8890
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     1
9a44d8d98731 snapshot of new Isar'ized version;
wenzelm
parents:
diff changeset
     2
use_thy "NatClass";