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 [889241] default Maximize Restore History

New entry Max-Card-Matching

nipkow nipkow 2011-08-15

added thys/Max-Card-Matching/document/root.bib
added thys/Max-Card-Matching/document/root.tex
added thys/Max-Card-Matching/Matching.thy
added thys/Max-Card-Matching/config
added thys/Max-Card-Matching/IsaMakefile
added thys/Max-Card-Matching/ROOT.ML
thys/Max-Card-Matching/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Max-Card-Matching/document/root.tex Diff Switch to side-by-side view
Loading...
thys/Max-Card-Matching/Matching.thy Diff Switch to side-by-side view
Loading...
thys/Max-Card-Matching/config Diff Switch to side-by-side view
Loading...
thys/Max-Card-Matching/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Max-Card-Matching/ROOT.ML Diff Switch to side-by-side view
Loading...