wenzelm [Thu, 18 May 2000 19:10:08 +0200] rev 8887
* HOL/ML: even fewer consts are declared as global (see theories Ord,
Lfp, Gfp, WF); this only affects ML packages that refer to const names
internally;
* 'pr' command: no longer prints theory contexts, but only proof
states;