Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Commit [f73c59] default Maximize Restore History

new entry

nipkow nipkow 2012-02-29

added web/entries/Transitive-Closure-II.shtml
added thys/Transitive-Closure-II/document/root.bib
added thys/Transitive-Closure-II/document/root.tex
added thys/Transitive-Closure-II/RTrancl.thy
added thys/Transitive-Closure-II/config
added thys/Transitive-Closure-II/IsaMakefile
added thys/Transitive-Closure-II/ROOT.ML
changed web/topics.shtml
changed web/index.shtml
changed metadata/metadata
web/entries/Transitive-Closure-II.shtml Diff Switch to side-by-side view
Loading...
thys/Transitive-Closure-II/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Transitive-Closure-II/document/root.tex Diff Switch to side-by-side view
Loading...
thys/Transitive-Closure-II/RTrancl.thy Diff Switch to side-by-side view
Loading...
thys/Transitive-Closure-II/config Diff Switch to side-by-side view
Loading...
thys/Transitive-Closure-II/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Transitive-Closure-II/ROOT.ML Diff Switch to side-by-side view
Loading...
web/topics.shtml Diff Switch to side-by-side view
Loading...
web/index.shtml Diff Switch to side-by-side view
Loading...
metadata/metadata Diff Switch to side-by-side view
Loading...