doc-src/Dirs
author immler@in.tum.de
Thu, 26 Feb 2009 10:13:43 +0100
changeset 30151 629f3a92863e
parent 27446 bac210482607
child 29747 bab2371e0348
permissions -rw-r--r--
removed global ref dfg_format
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27446
bac210482607 renamed Contents to Dirs to avoid case-conflict with doc/Contents;
wenzelm
parents:
diff changeset
     1
Ref System Logics HOL ZF Inductive TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen IsarAdvanced/Functions