# HG changeset patch
# User wenzelm
# Date 1148568697 -7200
# Node ID df95778b4c2f863a1c45178b5bf13e6e24bbded2
# Parent  ada9bb1faba54021a07b91ae97d849cc4ec872af
axiomatization java_lang;

diff -r ada9bb1faba5 -r df95778b4c2f src/HOL/Bali/Name.thy
--- a/src/HOL/Bali/Name.thy	Thu May 25 14:08:55 2006 +0200
+++ b/src/HOL/Bali/Name.thy	Thu May 25 16:51:37 2006 +0200
@@ -84,7 +84,7 @@
   (type) "'a qtname_scheme" <= (type) "\<lparr>pid::pname,tid::tname,\<dots>::'a\<rparr>"
 
 
-consts java_lang::pname --{* package java.lang *}
+axiomatization java_lang::pname --{* package java.lang *}
 
 consts 
   Object :: qtname