doc-src/Dirs
author wenzelm
Sat Nov 15 21:31:13 2008 +0100 (2008-11-15)
changeset 28797 9dcd32ee5dbe
parent 27446 bac210482607
child 29747 bab2371e0348
permissions -rw-r--r--
rewrite_proof: simplified simprocs (no name required);
wenzelm@27446
     1
Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions