isabelle: Changelog

oheimb [Tue, 04 Jul 2000 10:54:32 +0200] rev 9240

added BinOp

wenzelm [Tue, 04 Jul 2000 01:12:42 +0200] rev 9239

* added 'nothing' --- the empty list of theorems;

wenzelm [Tue, 04 Jul 2000 01:11:42 +0200] rev 9238

added "nothing" (empty list of theorems);

wenzelm [Tue, 04 Jul 2000 01:10:53 +0200] rev 9237

fixed usage;

wenzelm [Tue, 04 Jul 2000 01:10:36 +0200] rev 9236

tuned comments; even smarter guessing of ProofGeneral location;

wenzelm [Mon, 03 Jul 2000 11:13:08 +0200] rev 9235

previde 'defs' field for quick_and_dirty;

wenzelm [Sat, 01 Jul 2000 20:01:36 +0200] rev 9234

IGNORE last log message! added antiquote options "long_names", "eta_contract";

wenzelm [Sat, 01 Jul 2000 19:59:24 +0200] rev 9233

removed "help";

isabelle