isabelle: Changelog

wenzelm [Mon, 12 Jul 1999 22:23:31 +0200] rev 6977

thms_containing: undeclared consts error;

wenzelm [Mon, 12 Jul 1999 22:23:07 +0200] rev 6976

removed pretty_thm_no_hyps (again);

wenzelm [Mon, 12 Jul 1999 21:51:47 +0200] rev 6975

removed merge_theories;

wenzelm [Mon, 12 Jul 1999 10:38:31 +0200] rev 6974

may get BASH_PATH etc. from env;

paulson [Mon, 12 Jul 1999 10:32:30 +0200] rev 6973

new theorems for the "at most" relation

wenzelm [Mon, 12 Jul 1999 10:02:38 +0200] rev 6972

def: ==;

wenzelm [Sat, 10 Jul 1999 21:58:19 +0200] rev 6971

tuned Interrupt msgs;

wenzelm [Sat, 10 Jul 1999 21:51:25 +0200] rev 6970

pass exn;

wenzelm [Sat, 10 Jul 1999 21:50:49 +0200] rev 6969

handle THM exn;

wenzelm [Sat, 10 Jul 1999 21:48:27 +0200] rev 6968

handle THM/TERM exn;

isabelle