Commit [d6f98a] default Maximize Restore History

manual sync with release branch

lsf37 lsf37 2004-09-22

added thys/Ramsey-Infinite/document/root.tex
added thys/Ramsey-Infinite/config
added thys/Ramsey-Infinite/Ramsey.thy
added thys/Ramsey-Infinite/IsaMakefile
added thys/Ramsey-Infinite/ROOT.ML
removed thys/Completeness/document/root.bib
changed thys/BinarySearchTree/BinaryTree.thy
changed thys/Completeness/document/root.tex
changed thys/Completeness/Formula.thy
changed thys/Completeness/Tree.thy
changed thys/Completeness/Soundness.thy
changed thys/Completeness/Base.thy
changed thys/Completeness/PermutationLemmas.thy
changed thys/Completeness/Completeness.thy
changed thys/Completeness/Sequents.thy
changed thys/Completeness/IsaMakefile
thys/Ramsey-Infinite/document/root.tex Diff Switch to side-by-side view
Loading...
thys/Ramsey-Infinite/config Diff Switch to side-by-side view
Loading...
thys/Ramsey-Infinite/Ramsey.thy Diff Switch to side-by-side view
Loading...
thys/Ramsey-Infinite/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Ramsey-Infinite/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/BinarySearchTree/BinaryTree.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/document/root.tex Diff Switch to side-by-side view
Loading...
thys/Completeness/Formula.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/Tree.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/Soundness.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/Base.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/PermutationLemmas.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/Completeness.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/Sequents.thy Diff Switch to side-by-side view
Loading...
thys/Completeness/IsaMakefile Diff Switch to side-by-side view
Loading...