isabelle: Changelog

wenzelm [Mon, 12 Jul 1999 22:25:39 +0200] rev 6980

removed merge_theories;

wenzelm [Mon, 12 Jul 1999 22:25:19 +0200] rev 6979

removed metacuts_tac;

wenzelm [Mon, 12 Jul 1999 22:23:59 +0200] rev 6978

tmp_path: *add* path;

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;

isabelle