Commit [bd128c] Isabelle2009 Maximize Restore History

publishing Simpl update, add link to old version

lsf37 lsf37 2009-09-11

changed web/entries/Simpl.shtml
web/entries/Simpl.shtml Diff Switch to side-by-side view
Loading...