src/HOL/MicroJava/J/TypeRel.thy
changeset 59682 d662d096f72b
parent 58886 8a6cac7c7247
child 61361 8b5f00202e1a
     1.1 --- a/src/HOL/MicroJava/J/TypeRel.thy	Tue Mar 10 23:04:40 2015 +0100
     1.2 +++ b/src/HOL/MicroJava/J/TypeRel.thy	Thu Mar 12 14:58:32 2015 +0100
     1.3 @@ -177,7 +177,7 @@
     1.4  qed
     1.5  
     1.6  consts
     1.7 -  method :: "'c prog \<times> cname => ( sig   \<rightharpoonup> cname \<times> ty \<times> 'c)" (* ###curry *)
     1.8 +  "method" :: "'c prog \<times> cname => ( sig   \<rightharpoonup> cname \<times> ty \<times> 'c)" (* ###curry *)
     1.9    field  :: "'c prog \<times> cname => ( vname \<rightharpoonup> cname \<times> ty     )" (* ###curry *)
    1.10    fields :: "'c prog \<times> cname => ((vname \<times> cname) \<times> ty) list" (* ###curry *)
    1.11