--- a/src/Pure/Isar/auto_bind.ML Tue Nov 21 20:47:58 2006 +0100
+++ b/src/Pure/Isar/auto_bind.ML Tue Nov 21 20:48:03 2006 +0100
@@ -11,6 +11,7 @@
val thesisN: string
val thisN: string
val premsN: string
+ val assmsN: string
val goal: theory -> term list -> (indexname * term option) list
val cases: theory -> term list -> (string * RuleCases.T option) list
val facts: theory -> term list -> (indexname * term option) list
@@ -26,6 +27,7 @@
val thesisN = "thesis";
val thisN = "this";
val premsN = "prems";
+val assmsN = "assms";
fun strip_judgment thy = ObjectLogic.drop_judgment thy o Logic.strip_assums_concl;