Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [7d980d] Isabelle2008 Maximize Restore History

*** empty log message ***

nipkow nipkow 2008-11-17

added thys/SenSocialChoice/document/root.bib
added thys/SenSocialChoice/document/root.tex
added thys/SenSocialChoice/RPRs.thy
added thys/SenSocialChoice/Arrow.thy
added thys/SenSocialChoice/Sen.thy
added thys/SenSocialChoice/ROOT.ML
added thys/SenSocialChoice/May.thy
added thys/SenSocialChoice/SCFs.thy
added thys/SenSocialChoice/FSext.thy
added thys/SenSocialChoice/IsaMakefile
thys/SenSocialChoice/document/root.bib Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/document/root.tex Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/RPRs.thy Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/Arrow.thy Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/Sen.thy Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/May.thy Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/SCFs.thy Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/FSext.thy Diff Switch to side-by-side view
Loading...
thys/SenSocialChoice/IsaMakefile Diff Switch to side-by-side view
Loading...