isabelle: Changelog

blanchet [Mon, 09 Aug 2010 11:03:54 +0200] rev 38280

replace recursion with "fold"

blanchet [Mon, 09 Aug 2010 10:39:53 +0200] rev 38279

remove debugging output

blanchet [Mon, 09 Aug 2010 10:38:57 +0200] rev 38278

remove now needless "Thm.transfer"

blanchet [Mon, 09 Aug 2010 10:13:18 +0200] rev 38277

reintroduced old code that removed axioms from the conjecture assumptions, ported to FOF

blanchet [Mon, 09 Aug 2010 09:57:50 +0200] rev 38276

merge

blanchet [Mon, 09 Aug 2010 09:57:38 +0200] rev 38275

fix embarrassing bug in elim rule handling, introduced during the port to FOF

blanchet [Fri, 06 Aug 2010 21:10:29 +0200] rev 38274

minor doc changes

wenzelm [Wed, 11 Aug 2010 12:40:08 +0200] rev 38273

modernized some specifications;

wenzelm [Wed, 11 Aug 2010 00:47:09 +0200] rev 38272

tuned;

wenzelm [Wed, 11 Aug 2010 00:46:07 +0200] rev 38271

Isar_Document command input via native Isabelle_Process commands, using YXML and XML_Data representation;

isabelle