# HG changeset patch
# User Walther Neuper <neuper@ist.tugraz.at>
# Date 1290101105 -3600
# Node ID 679dd9ebb17b9da3ae0e69d13c629113623e1788
# Parent  43bf3a5d37b846cdd6192b6469095bb5705617de
checked Struct_Deriv.thy ok for analogy in scala

diff -r 43bf3a5d37b8 -r 679dd9ebb17b test/Pure/Isar/Struct_Deriv.thy
--- a/test/Pure/Isar/Struct_Deriv.thy	Thu Nov 18 17:41:20 2010 +0100
+++ b/test/Pure/Isar/Struct_Deriv.thy	Thu Nov 18 18:25:05 2010 +0100
@@ -17,9 +17,19 @@
 1.1.3. parser setup according to src/Pure/Isar/outer_syntax.ML
 1.2. build parser for SD
 1.2.1. fun parse by Stefan Berghofer
-1.2.2. examples
-1.2.3. parsers for the "executable" elements
-1.2.4. GOON ?  
+2. provisional parser for SD
+2.1. calc elements to be executed separately
+2.1.1. named_rule
+2.1.2. term_rule
+2.1.3. rule
+2.1.4. PBLheadline
+2.1.5. CASheadline
+2.1.6. headline
+2.1.7. calcline
+2.2. parser for a whole SD
+2.2.1. provisional parser setup
+2.2.2. parser applied to example 1
+2.2.3. parser applied to example 2
 *}
 
 section {* provisional parser setup *}