axiomatization java_lang;
authorwenzelm
Thu May 25 16:51:37 2006 +0200 (2006-05-25)
changeset 19726df95778b4c2f
parent 19725 ada9bb1faba5
child 19727 f5895f998402
axiomatization java_lang;
src/HOL/Bali/Name.thy
     1.1 --- a/src/HOL/Bali/Name.thy	Thu May 25 14:08:55 2006 +0200
     1.2 +++ b/src/HOL/Bali/Name.thy	Thu May 25 16:51:37 2006 +0200
     1.3 @@ -84,7 +84,7 @@
     1.4    (type) "'a qtname_scheme" <= (type) "\<lparr>pid::pname,tid::tname,\<dots>::'a\<rparr>"
     1.5  
     1.6  
     1.7 -consts java_lang::pname --{* package java.lang *}
     1.8 +axiomatization java_lang::pname --{* package java.lang *}
     1.9  
    1.10  consts 
    1.11    Object :: qtname