Commit [bd4a4f] default Maximize Restore History

avoid mentioning $AFP in entries, so things also work without component setup

kleing kleing 2013-12-02

changed thys/Decreasing-Diagrams/Decreasing_Diagrams.thy
changed thys/Incompleteness/SyntaxN.thy
changed thys/Incompleteness/ROOT
thys/Decreasing-Diagrams/Decreasing_Diagrams.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/SyntaxN.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/ROOT Diff Switch to side-by-side view
Loading...