Commit [f73c59] default  Maximize  Restore  History

new entry

nipkow nipkow 2012-02-29

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

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

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks