wenzelm [Wed, 13 Apr 2005 18:46:52 +0200] rev 15713
*** MESSAGE REFERS TO PREVIOUS VERSION ***
type src = Args.src;
Drule.add_used;
wenzelm [Wed, 13 Apr 2005 18:46:39 +0200] rev 15712
*** MESSAGE REFERS TO PREVIOUS VERSION ***
removed uterm;
tuned;
wenzelm [Wed, 13 Apr 2005 18:46:30 +0200] rev 15711
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Attrib.src;
ISABELLE_DOC_FORMAT;
wenzelm [Wed, 13 Apr 2005 18:46:22 +0200] rev 15710
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Scan.peek;
Args.global/local_const/tyname (static binding!);
wenzelm [Wed, 13 Apr 2005 18:46:12 +0200] rev 15709
*** MESSAGE REFERS TO PREVIOUS VERSION ***
use args.ML, attrib.ML earlier;
wenzelm [Wed, 13 Apr 2005 18:46:04 +0200] rev 15708
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Scan.peek;
Args.local_tyname, Args.local_const;
wenzelm [Wed, 13 Apr 2005 18:45:52 +0200] rev 15707
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Method.src;