Commit [d52891] Isabelle2003 Maximize Restore History

fixed

lsf37 lsf37 2004-03-29

changed admin/regression
admin/regression Diff Switch to side-by-side view
Loading...