closer correspondence of document and session names, while maintaining document names for external reference
--HG--
rename : src/Doc/IsarImplementation/Base.thy => src/Doc/Implementation/Base.thy
rename : src/Doc/IsarImplementation/Eq.thy => src/Doc/Implementation/Eq.thy
rename : src/Doc/IsarImplementation/Integration.thy => src/Doc/Implementation/Integration.thy
rename : src/Doc/IsarImplementation/Isar.thy => src/Doc/Implementation/Isar.thy
rename : src/Doc/IsarImplementation/Local_Theory.thy => src/Doc/Implementation/Local_Theory.thy
rename : src/Doc/IsarImplementation/Logic.thy => src/Doc/Implementation/Logic.thy
rename : src/Doc/IsarImplementation/ML.thy => src/Doc/Implementation/ML.thy
rename : src/Doc/IsarImplementation/Prelim.thy => src/Doc/Implementation/Prelim.thy
rename : src/Doc/IsarImplementation/Proof.thy => src/Doc/Implementation/Proof.thy
rename : src/Doc/IsarImplementation/Syntax.thy => src/Doc/Implementation/Syntax.thy
rename : src/Doc/IsarImplementation/Tactic.thy => src/Doc/Implementation/Tactic.thy
rename : src/Doc/IsarImplementation/document/build => src/Doc/Implementation/document/build
rename : src/Doc/IsarImplementation/document/root.tex => src/Doc/Implementation/document/root.tex
rename : src/Doc/IsarImplementation/document/style.sty => src/Doc/Implementation/document/style.sty
rename : src/Doc/IsarRef/Base.thy => src/Doc/Isar-Ref/Base.thy
rename : src/Doc/IsarRef/Document_Preparation.thy => src/Doc/Isar-Ref/Document_Preparation.thy
rename : src/Doc/IsarRef/First_Order_Logic.thy => src/Doc/Isar-Ref/First_Order_Logic.thy
rename : src/Doc/IsarRef/Framework.thy => src/Doc/Isar-Ref/Framework.thy
rename : src/Doc/IsarRef/Generic.thy => src/Doc/Isar-Ref/Generic.thy
rename : src/Doc/IsarRef/HOL_Specific.thy => src/Doc/Isar-Ref/HOL_Specific.thy
rename : src/Doc/IsarRef/Inner_Syntax.thy => src/Doc/Isar-Ref/Inner_Syntax.thy
rename : src/Doc/IsarRef/ML_Tactic.thy => src/Doc/Isar-Ref/ML_Tactic.thy
rename : src/Doc/IsarRef/Misc.thy => src/Doc/Isar-Ref/Misc.thy
rename : src/Doc/IsarRef/Outer_Syntax.thy => src/Doc/Isar-Ref/Outer_Syntax.thy
rename : src/Doc/IsarRef/Preface.thy => src/Doc/Isar-Ref/Preface.thy
rename : src/Doc/IsarRef/Proof.thy => src/Doc/Isar-Ref/Proof.thy
rename : src/Doc/IsarRef/Quick_Reference.thy => src/Doc/Isar-Ref/Quick_Reference.thy
rename : src/Doc/IsarRef/Spec.thy => src/Doc/Isar-Ref/Spec.thy
rename : src/Doc/IsarRef/Symbols.thy => src/Doc/Isar-Ref/Symbols.thy
rename : src/Doc/IsarRef/Synopsis.thy => src/Doc/Isar-Ref/Synopsis.thy
rename : src/Doc/IsarRef/document/build => src/Doc/Isar-Ref/document/build
rename : src/Doc/IsarRef/document/isar-vm.pdf => src/Doc/Isar-Ref/document/isar-vm.pdf
rename : src/Doc/IsarRef/document/isar-vm.svg => src/Doc/Isar-Ref/document/isar-vm.svg
rename : src/Doc/IsarRef/document/root.tex => src/Doc/Isar-Ref/document/root.tex
rename : src/Doc/IsarRef/document/showsymbols => src/Doc/Isar-Ref/document/showsymbols
rename : src/Doc/IsarRef/document/style.sty => src/Doc/Isar-Ref/document/style.sty
rename : src/Doc/ZF/FOL_examples.thy => src/Doc/Logics-ZF/FOL_examples.thy
rename : src/Doc/ZF/IFOL_examples.thy => src/Doc/Logics-ZF/IFOL_examples.thy
rename : src/Doc/ZF/If.thy => src/Doc/Logics-ZF/If.thy
rename : src/Doc/ZF/ZF_Isar.thy => src/Doc/Logics-ZF/ZF_Isar.thy
rename : src/Doc/ZF/ZF_examples.thy => src/Doc/Logics-ZF/ZF_examples.thy
rename : src/Doc/ZF/document/FOL.tex => src/Doc/Logics-ZF/document/FOL.tex
rename : src/Doc/ZF/document/ZF.tex => src/Doc/Logics-ZF/document/ZF.tex
rename : src/Doc/ZF/document/build => src/Doc/Logics-ZF/document/build
rename : src/Doc/ZF/document/logics.sty => src/Doc/Logics-ZF/document/logics.sty
rename : src/Doc/ZF/document/root.tex => src/Doc/Logics-ZF/document/root.tex
rename : src/Doc/ProgProve/Basics.thy => src/Doc/Prog-Prove/Basics.thy
rename : src/Doc/ProgProve/Bool_nat_list.thy => src/Doc/Prog-Prove/Bool_nat_list.thy
rename : src/Doc/ProgProve/Isar.thy => src/Doc/Prog-Prove/Isar.thy
rename : src/Doc/ProgProve/LaTeXsugar.thy => src/Doc/Prog-Prove/LaTeXsugar.thy
rename : src/Doc/ProgProve/Logic.thy => src/Doc/Prog-Prove/Logic.thy
rename : src/Doc/ProgProve/MyList.thy => src/Doc/Prog-Prove/MyList.thy
rename : src/Doc/ProgProve/Types_and_funs.thy => src/Doc/Prog-Prove/Types_and_funs.thy
rename : src/Doc/ProgProve/document/bang.pdf => src/Doc/Prog-Prove/document/bang.pdf
rename : src/Doc/ProgProve/document/build => src/Doc/Prog-Prove/document/build
rename : src/Doc/ProgProve/document/intro-isabelle.tex => src/Doc/Prog-Prove/document/intro-isabelle.tex
rename : src/Doc/ProgProve/document/mathpartir.sty => src/Doc/Prog-Prove/document/mathpartir.sty
rename : src/Doc/ProgProve/document/prelude.tex => src/Doc/Prog-Prove/document/prelude.tex
rename : src/Doc/ProgProve/document/root.bib => src/Doc/Prog-Prove/document/root.bib
rename : src/Doc/ProgProve/document/root.tex => src/Doc/Prog-Prove/document/root.tex
rename : src/Doc/ProgProve/document/svmono.cls => src/Doc/Prog-Prove/document/svmono.cls
rename : src/Doc/LaTeXsugar/Sugar.thy => src/Doc/Sugar/Sugar.thy
rename : src/Doc/LaTeXsugar/document/build => src/Doc/Sugar/document/build
rename : src/Doc/LaTeXsugar/document/mathpartir.sty => src/Doc/Sugar/document/mathpartir.sty
rename : src/Doc/LaTeXsugar/document/root.bib => src/Doc/Sugar/document/root.bib
rename : src/Doc/LaTeXsugar/document/root.tex => src/Doc/Sugar/document/root.tex
extra : rebase_source : dcaca23a302f6dfe8e8c7fc25da164e0e596751b
|