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

Close

Commit [44c39d] Isabelle2009 Maximize Restore History

pull Norbert's user guide update into release version

lsf37 lsf37 2009-09-11

changed thys/Simpl/UserGuide.thy
thys/Simpl/UserGuide.thy Diff Switch to side-by-side view
Loading...