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

Close

Commit [cabd99] default Maximize Restore History

Improved NBE compiler

nipkow nipkow 2010-12-20

changed thys/NormByEval/NBE.thy
thys/NormByEval/NBE.thy Diff Switch to side-by-side view
Loading...