Commit [75ab87] default  Maximize  Restore  History

recovered lost StdInst.thy generation

lsf37@users.sourceforge.net lsf37@users.sourceforge.net 2009-11-29

changed thys/Collections/IsaMakefile
thys/Collections/IsaMakefile 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