src/Pure/Isar/local_theory.ML
changeset 24031 e94e541346d7
parent 24020 ed4d7abffee7
child 24554 e9edafca311c
     1.1 --- a/src/Pure/Isar/local_theory.ML	Sat Jul 28 22:01:01 2007 +0200
     1.2 +++ b/src/Pure/Isar/local_theory.ML	Sat Jul 28 22:01:06 2007 +0200
     1.3 @@ -6,7 +6,6 @@
     1.4  *)
     1.5  
     1.6  type local_theory = Proof.context;
     1.7 -type declaration = morphism -> Context.generic -> Context.generic;
     1.8  
     1.9  signature LOCAL_THEORY =
    1.10  sig