isabelle: Changelog

haftmann [Mon, 04 Jun 2007 15:43:30 +0200] rev 23234

tuned comments

urbanc [Mon, 04 Jun 2007 13:22:22 +0200] rev 23233

added a few comments to the proofs

chaieb [Mon, 04 Jun 2007 11:39:19 +0200] rev 23232

removed fixmes

chaieb [Mon, 04 Jun 2007 11:38:34 +0200] rev 23231

opaque-constraint removed

chaieb [Mon, 04 Jun 2007 09:57:02 +0200] rev 23230

tuned;

wenzelm [Sun, 03 Jun 2007 23:16:57 +0200] rev 23229

monomorphic equality: let ML work out the details;

wenzelm [Sun, 03 Jun 2007 23:16:56 +0200] rev 23228

added gen_merge_lists/merge_lists/merge_alists (legacy operations from library.ML);

wenzelm [Sun, 03 Jun 2007 23:16:55 +0200] rev 23227

tuned Tactic signature;

wenzelm [Sun, 03 Jun 2007 23:16:54 +0200] rev 23226

removed obsolete Library.seq;

wenzelm [Sun, 03 Jun 2007 23:16:53 +0200] rev 23225

moved flip to library.ML; removed unused dest/unfold/unfold_rev; simplified fold/fold_rev/fold_map;

isabelle