Commit [46c066] default  Maximize  Restore  History

Free-Group: Formulate conditions using funcset

Joachim Breitner Joachim Breitner 2010-09-18

changed thys/Free-Groups/FreeGroups.thy
thys/Free-Groups/FreeGroups.thy Diff Switch to side-by-side view
Loading...

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

Sign up for the SourceForge newsletter:





No, thanks