Commit [bfe8d4] default Isabelle2013 Maximize Restore History

Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows

Gerwin Klein Gerwin Klein 2013-01-28

changed thys/JinjaThreads/Execute/ToString.thy
changed thys/JinjaThreads/Execute/Java2Jinja.thy
changed thys/JinjaThreads/Framework/FWState.thy
changed thys/JinjaThreads/Framework/LTS.thy
changed thys/JinjaThreads/Common/Common_Main.thy
changed thys/JinjaThreads/Common/Type.thy
changed thys/JinjaThreads/Basic/Basic_Main.thy
changed thys/JinjaThreads/DFA/Kildall.thy
changed thys/JinjaThreads/Compiler/Compiler1.thy
copied thys/JinjaThreads/Basic/Aux.thy -> thys/JinjaThreads/Basic/Auxiliary.thy
thys/JinjaThreads/Execute/ToString.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Execute/Java2Jinja.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Framework/FWState.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Framework/LTS.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Common/Common_Main.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Common/Type.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Basic/Basic_Main.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/DFA/Kildall.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Compiler/Compiler1.thy Diff Switch to side-by-side view
Loading...
thys/JinjaThreads/Basic/Aux.thy to thys/JinjaThreads/Basic/Auxiliary.thy
--- a/thys/JinjaThreads/Basic/Aux.thy
+++ b/thys/JinjaThreads/Basic/Auxiliary.thy
@@ -8,7 +8,7 @@
   \isaheader{Auxiliary Definitions and Lemmata}
 *}
 
-theory Aux 
+theory Auxiliary
 imports
   Main
   "~~/src/HOL/Library/FinFun_Syntax"