src/CCL/Term.thy
Mon, 11 Jan 2016 21:16:38 +0100 wenzelm eliminated old defs;
Fri, 01 Jan 2016 10:49:00 +0100 wenzelm isabelle update_cartouches -c -t;
Thu, 23 Jul 2015 14:25:05 +0200 wenzelm isabelle update_cartouches;
Mon, 22 Jun 2015 20:36:33 +0200 wenzelm support 'when' statement, which corresponds to 'presume';
Tue, 10 Feb 2015 14:48:26 +0100 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
Tue, 11 Nov 2014 15:55:31 +0100 wenzelm more symbols;
Tue, 11 Nov 2014 13:50:56 +0100 wenzelm tuned whitespace;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Tue, 18 Mar 2014 11:07:47 +0100 wenzelm tuned signature -- rearranged modules;
Sat, 25 May 2013 15:37:53 +0200 wenzelm syntax translations always depend on context;
Thu, 16 May 2013 17:39:38 +0200 wenzelm tuned signature -- depend on context by default;
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Wed, 10 Apr 2013 12:31:35 +0200 wenzelm prefer local context;
Sat, 29 Sep 2012 18:23:46 +0200 wenzelm more explicit Syntax_Trans.mark_bound_abs/mark_bound_body: preserve type information for show_markup;
Wed, 17 Aug 2011 18:05:31 +0200 wenzelm modernized signature of Term.absfree/absdummy;
Sun, 15 May 2011 17:45:53 +0200 wenzelm simplified/unified method_setup/attribute_setup;
Fri, 08 Apr 2011 13:31:16 +0200 wenzelm explicit structure Syntax_Trans;
Tue, 29 Mar 2011 23:27:38 +0200 wenzelm modernized specifications -- less axioms;
Tue, 22 Mar 2011 14:45:48 +0100 wenzelm let syntax: reverted to plain "id", since translations cannot cope with constraints (notably position information);
Thu, 11 Feb 2010 22:19:58 +0100 wenzelm modernized translations;
Thu, 23 Jul 2009 22:20:37 +0200 wenzelm eliminated adhoc ML code;
Thu, 23 Jul 2009 21:59:56 +0200 wenzelm misc modernization: proper method setup instead of adhoc ML proofs;
Wed, 15 Jul 2009 23:48:21 +0200 wenzelm more antiquotations;
Sat, 29 Mar 2008 19:14:00 +0100 wenzelm replaced 'ML_setup' by 'ML';
Wed, 19 Mar 2008 22:50:42 +0100 wenzelm more antiquotations;
Wed, 03 Oct 2007 21:29:05 +0200 wenzelm avoid unnamed infixes;
Mon, 01 Oct 2007 15:14:51 +0200 wenzelm ML_setup for bind_thms;
Mon, 09 Oct 2006 02:20:10 +0200 wenzelm reorderd ML/lemmas (Why!?);
Tue, 18 Jul 2006 02:22:38 +0200 wenzelm removed obsolete ML files;
Tue, 06 Jun 2006 20:42:25 +0200 wenzelm quoted "if";
Fri, 07 Oct 2005 22:59:18 +0200 wenzelm print_translation: does not handle _idtdummy;
Sat, 17 Sep 2005 17:35:26 +0200 wenzelm converted to Isar theory format;
Fri, 21 May 2004 21:14:18 +0200 wenzelm proper use of 'syntax';
Fri, 10 Oct 1997 17:10:12 +0200 wenzelm fixed dots;
Mon, 03 Mar 1997 13:53:29 +0100 wenzelm added comment;
Mon, 05 Feb 1996 14:44:09 +0100 clasohm expanded tabs
Wed, 21 Jun 1995 15:01:07 +0200 clasohm removed \...\ inside strings
Thu, 06 Apr 1995 10:51:42 +0200 lcp Gave tighter priorities to if, napply and the let-forms to
Wed, 14 Sep 1994 14:49:56 +0200 wenzelm letrec syntax: replaced "id" by "idt";
Tue, 22 Mar 1994 12:42:56 +0100 clasohm changed "." to "$" to eliminate ambiguity
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip