# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1238511192 -3600
# Node ID fcedd5bd6a35e60b02280ddf8cba5e3faad51faf
# Parent  8d1a344a621e01ba55ecd9d224f5fd66dd7b884a
added a declaration section (for Amine)

diff -r 8d1a344a621e -r fcedd5bd6a35 ProgTutorial/Tactical.thy
--- a/ProgTutorial/Tactical.thy	Tue Mar 31 15:48:53 2009 +0100
+++ b/ProgTutorial/Tactical.thy	Tue Mar 31 15:53:12 2009 +0100
@@ -2081,6 +2081,8 @@
 *}
 
 
+section {* Declarations (TBD) *}
+
 section {* Structured Proofs (TBD) *}
 
 text {* TBD *}
diff -r 8d1a344a621e -r fcedd5bd6a35 progtutorial.pdf
Binary file progtutorial.pdf has changed