Commit [d6f98a] default  Maximize  Restore  History

manual sync with release branch

lsf37 lsf37 2004-09-22

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

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks