src/HOL/Prolog/Test.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Tue, 06 Oct 2015 15:14:28 +0200 wenzelm fewer aliases for toplevel theorem statements;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 28 Feb 2013 14:29:54 +0100 wenzelm eliminated legacy 'axioms';
Tue, 14 Feb 2012 21:45:32 +0100 wenzelm more conventional tactic setup;
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Mon, 20 Dec 2010 16:44:33 +0100 wenzelm proper identifiers for consts and types;
Fri, 23 Apr 2010 23:35:43 +0200 wenzelm mark schematic statements explicitly;
Thu, 11 Feb 2010 21:33:25 +0100 wenzelm modernized syntax/translations;
Thu, 28 Jan 2010 11:48:49 +0100 haftmann new theory Algebras.thy for generic algebraic structures
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
Sat, 01 Dec 2001 18:52:32 +0100 wenzelm renamed class "term" to "type" (actually "HOL.type");
Fri, 02 Jun 2000 12:44:04 +0200 oheimb added HOL/Prolog
less more (0) tip