doc-src/Dirs
author hoelzl
Tue May 11 19:21:39 2010 +0200 (2010-05-11)
changeset 36845 d778c64fc35d
parent 33191 fe3c65d9c577
child 36926 90bb12cf8e36
permissions -rw-r--r--
Add rules directly to the corresponding class locales instead.
blanchet@33191
     1
Intro Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar Classes Codegen Functions Nitpick Main