Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOLP/simp.ML
Fri, 21 Mar 2014 20:33:56 +0100 wenzelm more qualified names; file | diff | annotate
Wed, 10 Aug 2011 20:53:43 +0200 wenzelm old term operations are legacy; file | diff | annotate
Sat, 16 Apr 2011 18:11:20 +0200 wenzelm eliminated old List.nth; file | diff | annotate
Fri, 08 Apr 2011 13:31:16 +0200 wenzelm explicit structure Syntax_Trans; file | diff | annotate
Sat, 15 May 2010 21:50:05 +0200 wenzelm less pervasive names from structure Thm; file | diff | annotate
Wed, 05 May 2010 18:25:34 +0200 haftmann farewell to old-style mem infixes -- type inference in situations with mem_int and mem_string should provide enough information to resolve the type of (op =) file | diff | annotate
Fri, 30 Apr 2010 23:53:37 +0200 wenzelm renamed Variable.thm_context to Variable.global_thm_context to emphasize that this is not the real thing; file | diff | annotate
Sun, 07 Feb 2010 19:33:34 +0100 wenzelm renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation; file | diff | annotate
Tue, 24 Nov 2009 17:28:25 +0100 haftmann curried take/drop file | diff | annotate
Thu, 29 Oct 2009 23:56:33 +0100 wenzelm eliminated some old folds; file | diff | annotate
Thu, 29 Oct 2009 17:58:26 +0100 wenzelm standardized filter/filter_out; file | diff | annotate
Tue, 27 Oct 2009 22:56:14 +0100 wenzelm eliminated some old folds; file | diff | annotate
Thu, 22 Oct 2009 13:48:06 +0200 haftmann map_range (and map_index) combinator file | diff | annotate
Wed, 21 Oct 2009 10:15:31 +0200 haftmann removed old-style \ and \\ infixes file | diff | annotate
Sat, 17 Oct 2009 00:52:37 +0200 wenzelm explicitly qualify Drule.standard; file | diff | annotate
Thu, 15 Oct 2009 23:28:10 +0200 wenzelm replaced String.concat by implode; file | diff | annotate
Tue, 29 Sep 2009 16:24:36 +0200 wenzelm explicit indication of Unsynchronized.ref; file | diff | annotate
Sat, 29 Aug 2009 12:01:25 +0200 wenzelm eliminated hard tabs; file | diff | annotate
Tue, 21 Jul 2009 01:03:18 +0200 wenzelm proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.; file | diff | annotate
Sun, 01 Mar 2009 23:36:12 +0100 wenzelm use long names for old-style fold combinators; file | diff | annotate
Wed, 31 Dec 2008 00:08:13 +0100 wenzelm moved old add_term_vars, add_term_frees etc. to structure OldTerm; file | diff | annotate
Sun, 18 May 2008 15:04:09 +0200 wenzelm moved global pretty/string_of functions from Sign to Syntax; file | diff | annotate
Sat, 17 May 2008 13:54:30 +0200 wenzelm structure Display: less pervasive operations; file | diff | annotate
Tue, 25 Sep 2007 13:28:37 +0200 wenzelm Syntax.parse/check/read; file | diff | annotate
Sat, 14 Apr 2007 17:35:52 +0200 wenzelm cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; file | diff | annotate
Wed, 04 Apr 2007 23:29:33 +0200 wenzelm rep_thm/cterm/ctyp: removed obsolete sign field; file | diff | annotate
Wed, 04 Apr 2007 00:11:03 +0200 wenzelm removed obsolete sign_of/sign_of_thm; file | diff | annotate
Mon, 26 Feb 2007 23:18:24 +0100 wenzelm moved eq_thm etc. to structure Thm in Pure/more_thm.ML; file | diff | annotate
Fri, 10 Nov 2006 10:42:25 +0100 wenzelm tuned Variable.trade; file | diff | annotate
Fri, 20 Oct 2006 17:07:26 +0200 haftmann slight cleanup file | diff | annotate
Tue, 10 Oct 2006 13:59:13 +0200 haftmann gen_rem(s) abandoned in favour of remove / subtract file | diff | annotate
Tue, 25 Jul 2006 21:18:00 +0200 wenzelm renamed Term.variant_abs to Syntax.variant_abs; file | diff | annotate
Mon, 19 Jun 2006 20:21:30 +0200 wenzelm eliminated freeze/varify in favour of Variable.import/export/trade; file | diff | annotate
Tue, 13 Jun 2006 23:41:39 +0200 wenzelm tuned; file | diff | annotate
Wed, 07 Jun 2006 02:01:27 +0200 wenzelm do not open Logic; file | diff | annotate
Mon, 12 Sep 2005 18:20:32 +0200 haftmann introduced new-style AList operations file | diff | annotate
Thu, 28 Jul 2005 15:19:46 +0200 wenzelm Sign.typ_instance; file | diff | annotate
Tue, 19 Jul 2005 17:21:47 +0200 wenzelm Logic.incr_tvar; file | diff | annotate
Wed, 13 Jul 2005 16:07:21 +0200 wenzelm improved Net interface; file | diff | annotate
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr. file | diff | annotate
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions. file | diff | annotate
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type. file | diff | annotate
Fri, 21 May 2004 21:18:14 +0200 wenzelm Type.typ_instance; file | diff | annotate
Thu, 22 Apr 2004 10:52:32 +0200 wenzelm tuned; file | diff | annotate
Tue, 07 May 2002 14:26:32 +0200 wenzelm use eq_thm_prop instead of slightly inadequate eq_thm; file | diff | annotate
Wed, 29 Sep 1999 14:35:18 +0200 wenzelm Sign.defaultS; file | diff | annotate
Sat, 10 Jul 1999 21:50:49 +0200 wenzelm handle THM exn; file | diff | annotate
Wed, 25 Nov 1998 14:04:28 +0100 wenzelm replaced prs by std_output; file | diff | annotate
Fri, 21 Nov 1997 15:29:56 +0100 wenzelm changed Pure/Sequence interface -- isatool fixseq; file | diff | annotate
Tue, 22 Jul 1997 11:12:55 +0200 paulson Removal of the tactical STATE file | diff | annotate
Thu, 28 Nov 1996 10:44:24 +0100 paulson Replaced map...~~ by ListPair.map file | diff | annotate
Fri, 16 Feb 1996 18:00:47 +0100 paulson Elimination of fully-functorial style. file | diff | annotate
Mon, 29 Jan 1996 13:58:15 +0100 clasohm expanded tabs file | diff | annotate
Wed, 14 Sep 1994 16:02:06 +0200 wenzelm now uses Sign.const_type; file | diff | annotate
Tue, 18 Jan 1994 16:37:12 +0100 lcp Updated refs to old Sign functions file | diff | annotate
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision file | diff | annotate
less more (0) tip
isabelle