even more standardized doc session names after #b266e7a86485
--HG--
rename : src/Doc/Isar-Ref/Base.thy => src/Doc/Isar_Ref/Base.thy
rename : src/Doc/Isar-Ref/Document_Preparation.thy => src/Doc/Isar_Ref/Document_Preparation.thy
rename : src/Doc/Isar-Ref/First_Order_Logic.thy => src/Doc/Isar_Ref/First_Order_Logic.thy
rename : src/Doc/Isar-Ref/Framework.thy => src/Doc/Isar_Ref/Framework.thy
rename : src/Doc/Isar-Ref/Generic.thy => src/Doc/Isar_Ref/Generic.thy
rename : src/Doc/Isar-Ref/HOL_Specific.thy => src/Doc/Isar_Ref/HOL_Specific.thy
rename : src/Doc/Isar-Ref/Inner_Syntax.thy => src/Doc/Isar_Ref/Inner_Syntax.thy
rename : src/Doc/Isar-Ref/ML_Tactic.thy => src/Doc/Isar_Ref/ML_Tactic.thy
rename : src/Doc/Isar-Ref/Misc.thy => src/Doc/Isar_Ref/Misc.thy
rename : src/Doc/Isar-Ref/Outer_Syntax.thy => src/Doc/Isar_Ref/Outer_Syntax.thy
rename : src/Doc/Isar-Ref/Preface.thy => src/Doc/Isar_Ref/Preface.thy
rename : src/Doc/Isar-Ref/Proof.thy => src/Doc/Isar_Ref/Proof.thy
rename : src/Doc/Isar-Ref/Quick_Reference.thy => src/Doc/Isar_Ref/Quick_Reference.thy
rename : src/Doc/Isar-Ref/Spec.thy => src/Doc/Isar_Ref/Spec.thy
rename : src/Doc/Isar-Ref/Symbols.thy => src/Doc/Isar_Ref/Symbols.thy
rename : src/Doc/Isar-Ref/Synopsis.thy => src/Doc/Isar_Ref/Synopsis.thy
rename : src/Doc/Isar-Ref/document/build => src/Doc/Isar_Ref/document/build
rename : src/Doc/Isar-Ref/document/isar-vm.pdf => src/Doc/Isar_Ref/document/isar-vm.pdf
rename : src/Doc/Isar-Ref/document/isar-vm.svg => src/Doc/Isar_Ref/document/isar-vm.svg
rename : src/Doc/Isar-Ref/document/root.tex => src/Doc/Isar_Ref/document/root.tex
rename : src/Doc/Isar-Ref/document/showsymbols => src/Doc/Isar_Ref/document/showsymbols
rename : src/Doc/Isar-Ref/document/style.sty => src/Doc/Isar_Ref/document/style.sty
rename : src/Doc/Logics-ZF/FOL_examples.thy => src/Doc/Logics_ZF/FOL_examples.thy
rename : src/Doc/Logics-ZF/IFOL_examples.thy => src/Doc/Logics_ZF/IFOL_examples.thy
rename : src/Doc/Logics-ZF/If.thy => src/Doc/Logics_ZF/If.thy
rename : src/Doc/Logics-ZF/ZF_Isar.thy => src/Doc/Logics_ZF/ZF_Isar.thy
rename : src/Doc/Logics-ZF/ZF_examples.thy => src/Doc/Logics_ZF/ZF_examples.thy
rename : src/Doc/Logics-ZF/document/FOL.tex => src/Doc/Logics_ZF/document/FOL.tex
rename : src/Doc/Logics-ZF/document/ZF.tex => src/Doc/Logics_ZF/document/ZF.tex
rename : src/Doc/Logics-ZF/document/build => src/Doc/Logics_ZF/document/build
rename : src/Doc/Logics-ZF/document/logics.sty => src/Doc/Logics_ZF/document/logics.sty
rename : src/Doc/Logics-ZF/document/root.tex => src/Doc/Logics_ZF/document/root.tex
rename : src/Doc/Prog-Prove/Basics.thy => src/Doc/Prog_Prove/Basics.thy
rename : src/Doc/Prog-Prove/Bool_nat_list.thy => src/Doc/Prog_Prove/Bool_nat_list.thy
rename : src/Doc/Prog-Prove/Isar.thy => src/Doc/Prog_Prove/Isar.thy
rename : src/Doc/Prog-Prove/LaTeXsugar.thy => src/Doc/Prog_Prove/LaTeXsugar.thy
rename : src/Doc/Prog-Prove/Logic.thy => src/Doc/Prog_Prove/Logic.thy
rename : src/Doc/Prog-Prove/MyList.thy => src/Doc/Prog_Prove/MyList.thy
rename : src/Doc/Prog-Prove/Types_and_funs.thy => src/Doc/Prog_Prove/Types_and_funs.thy
rename : src/Doc/Prog-Prove/document/bang.pdf => src/Doc/Prog_Prove/document/bang.pdf
rename : src/Doc/Prog-Prove/document/build => src/Doc/Prog_Prove/document/build
rename : src/Doc/Prog-Prove/document/intro-isabelle.tex => src/Doc/Prog_Prove/document/intro-isabelle.tex
rename : src/Doc/Prog-Prove/document/mathpartir.sty => src/Doc/Prog_Prove/document/mathpartir.sty
rename : src/Doc/Prog-Prove/document/prelude.tex => src/Doc/Prog_Prove/document/prelude.tex
rename : src/Doc/Prog-Prove/document/root.bib => src/Doc/Prog_Prove/document/root.bib
rename : src/Doc/Prog-Prove/document/root.tex => src/Doc/Prog_Prove/document/root.tex
rename : src/Doc/Prog-Prove/document/svmono.cls => src/Doc/Prog_Prove/document/svmono.cls
|