doc-src/Contents
author wenzelm
Fri, 17 Jun 2005 18:33:41 +0200
changeset 16456 451f1c46d4ca
parent 15729 63915e6e5775
child 18542 f42e544805f5
permissions -rw-r--r--
* Pure/TheoryDataFun: change of the argument structure; * Pure/TheoryDataFun: change of the argument structure -- got rid of Sign.sg;

Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef Locales LaTeXsugar