src/CTT/CTT.thy

--- a/src/CTT/CTT.thy	Tue Mar 25 12:14:17 2008 +0100
+++ b/src/CTT/CTT.thy	Tue Mar 25 19:39:57 2008 +0100
@@ -500,7 +500,7 @@
   apply (unfold basic_defs)
   apply (rule major [THEN SumE])
   apply (rule SumC [THEN subst_eqtyparg, THEN replace_type])
-  apply (tactic {* typechk_tac (thms "prems") *})
+  apply (tactic {* typechk_tac @{thms assms} *})
   done
 
 end