src/HOL/Prolog/HOHH.thy
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Sun, 15 May 2011 17:45:53 +0200 wenzelm simplified/unified method_setup/attribute_setup;
Thu, 28 Jan 2010 11:48:49 +0100 haftmann new theory Algebras.thy for generic algebraic structures
Mon, 16 Mar 2009 18:24:30 +0100 wenzelm simplified method setup;
Fri, 13 Mar 2009 19:58:26 +0100 wenzelm unified type Proof.method and pervasive METHOD combinators;
Mon, 16 Jun 2008 17:54:42 +0200 wenzelm ptac/prolog_tac: proper context;
Wed, 29 Nov 2006 15:44:51 +0100 wenzelm simplified method setup;
Mon, 20 Nov 2006 21:23:12 +0100 wenzelm HOL-Prolog: converted legacy ML scripts;
Wed, 07 Sep 2005 21:07:09 +0200 wenzelm converted to Isar theory format;
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 11 Jun 2002 16:43:17 +0200 oheimb added the usual file headers
Fri, 02 Jun 2000 12:44:04 +0200 oheimb added HOL/Prolog
less more (0) tip