# HG changeset patch
# User wenzelm
# Date 1144764007 -7200
# Node ID 9aef7314316916ddd98fe14b2dbcb0b7703539a0
# Parent  28bf2447c1807649ae4de894f2ec9524f9d87ab4
'axclass': no parameters;

diff -r 28bf2447c180 -r 9aef73143169 src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Tue Apr 11 16:00:06 2006 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Tue Apr 11 16:00:07 2006 +0200
@@ -93,7 +93,7 @@
   OuterSyntax.command "axclass" "define axiomatic type class" K.thy_decl
     ((P.name -- Scan.optional ((P.$$$ "\\<subseteq>" || P.$$$ "<") |--
         P.!!! (P.list1 P.xname)) []) -- Scan.repeat P.spec_name
-      >> (Toplevel.theory o (snd oo uncurry AxClass.add_axclass)));
+      >> (fn (x, y) => Toplevel.theory (snd o AxClass.add_axclass x [] y)));
 
 
 (* types *)