Commit [44c39d] Isabelle2009  Maximize  Restore  History

pull Norbert's user guide update into release version

lsf37 lsf37 2009-09-11

changed thys/Simpl/UserGuide.thy
thys/Simpl/UserGuide.thy Diff Switch to side-by-side view
Loading...