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/HOLCF/Fixrec.thy
Sat, 22 May 2010 10:02:07 -0700 huffman remove cont2cont simproc; instead declare cont2cont rules as simp rules file | diff | annotate
Wed, 19 May 2010 16:08:41 -0700 huffman remove unnecessary constant Fixrec.bind file | diff | annotate
Wed, 28 Apr 2010 12:07:52 +0200 wenzelm renamed command 'defaultsort' to 'default_sort'; file | diff | annotate
Fri, 16 Apr 2010 21:28:09 +0200 wenzelm replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords; file | diff | annotate
Tue, 23 Mar 2010 13:42:12 -0700 huffman minimize dependencies file | diff | annotate
Mon, 22 Mar 2010 23:34:23 -0700 huffman completely remove constants cpair, cfst, csnd file | diff | annotate
Mon, 22 Mar 2010 22:42:34 -0700 huffman remove unused syntax for as_pat, lazy_pat file | diff | annotate
Tue, 02 Mar 2010 18:16:28 -0800 huffman fixrec and repdef modules import holcf_library file | diff | annotate
Sun, 28 Feb 2010 09:22:53 -0800 huffman fix output translation for Case syntax file | diff | annotate
Thu, 11 Feb 2010 23:00:22 +0100 wenzelm modernized translations; file | diff | annotate
Tue, 03 Nov 2009 18:33:16 -0800 huffman add more fixrec_simp rules file | diff | annotate
Tue, 03 Nov 2009 17:03:21 -0800 huffman add fixrec_simp attribute and method (eventually to replace fixpat) file | diff | annotate
Mon, 02 Nov 2009 18:39:41 -0800 huffman add fixrec support for HOL pair constructor patterns file | diff | annotate
Sun, 21 Jun 2009 08:38:58 +0200 haftmann discontinued ancient tradition to suffix certain ML module names with "_package" file | diff | annotate
Mon, 11 May 2009 08:28:09 -0700 huffman simplify fixrec proofs for mutually-recursive definitions; generate better fixpoint induction rules file | diff | annotate
Mon, 27 Apr 2009 19:44:30 -0700 huffman add proper support for bottom-patterns in fixrec package file | diff | annotate
Mon, 20 Apr 2009 15:23:27 -0700 huffman fix too-specific types in lemmas match_{sinl,sinr}_simps file | diff | annotate
Sat, 11 Apr 2009 08:44:41 -0700 huffman change definition of match combinators for fixrec package file | diff | annotate
Thu, 26 Feb 2009 10:28:53 -0800 huffman use TheoryData to keep track of pattern match combinators file | diff | annotate
Wed, 14 Jan 2009 17:11:29 -0800 huffman change to simpler, more extensible continuity simproc file | diff | annotate
Fri, 02 Jan 2009 22:41:42 +0100 wenzelm renamed syntax constant "_var" to "_variable", to avoid clash with internal token marker; file | diff | annotate
Thu, 18 Dec 2008 11:00:13 -0800 huffman constdefs -> definition file | diff | annotate
Tue, 16 Dec 2008 21:31:55 -0800 huffman remove cvs Id tags file | diff | annotate
Thu, 11 Dec 2008 16:50:18 +0100 wenzelm pcpodef package: state two goals, instead of encoded conjunction; file | diff | annotate
Tue, 25 Nov 2008 23:29:01 +0100 huffman separate run and cases combinators file | diff | annotate
Thu, 07 Feb 2008 03:30:32 +0100 huffman fix broken syntax translations file | diff | annotate
Tue, 23 Oct 2007 13:29:16 +0200 wenzelm translations: use XCONST for input patterns (keeps original spelling of const); file | diff | annotate
Sun, 21 Oct 2007 14:21:48 +0200 wenzelm modernized specifications ('definition', 'abbreviation', 'notation'); file | diff | annotate
Thu, 31 May 2007 14:01:58 +0200 wenzelm moved HOLCF tools to canonical place; file | diff | annotate
Thu, 13 Apr 2006 23:14:18 +0200 huffman hide common name of constant 'run' file | diff | annotate
Mon, 10 Apr 2006 00:34:46 +0200 wenzelm hide (open) const; file | diff | annotate
Fri, 24 Mar 2006 19:30:01 +0100 huffman lazy patterns in lambda abstractions file | diff | annotate
Sun, 19 Feb 2006 01:40:13 +0100 huffman use qualified name for return file | diff | annotate
Fri, 17 Feb 2006 01:46:38 +0100 huffman make maybe into a real type constructor; remove monad syntax file | diff | annotate
Wed, 30 Nov 2005 01:01:15 +0100 huffman reimplement Case expression pattern matching to support lazy patterns file | diff | annotate
Mon, 07 Nov 2005 23:33:01 +0100 huffman reimplemented Case syntax using print/parse translations; moved as-patterns to separate section file | diff | annotate
Mon, 07 Nov 2005 19:23:53 +0100 huffman remove syntax for as-patterns file | diff | annotate
Sun, 06 Nov 2005 01:21:37 +0100 huffman add case syntax stuff file | diff | annotate
Sun, 06 Nov 2005 00:35:24 +0100 huffman use consts for infix syntax file | diff | annotate
Sat, 05 Nov 2005 21:56:45 +0100 huffman simplify definitions file | diff | annotate
Tue, 12 Jul 2005 18:44:32 +0200 huffman changed orientation of bind_assoc rule file | diff | annotate
Tue, 12 Jul 2005 18:20:44 +0200 huffman generalized types of monadic operators to class cpo; added match function for UU file | diff | annotate
Fri, 08 Jul 2005 03:12:58 +0200 huffman fix typo file | diff | annotate
Fri, 08 Jul 2005 02:41:35 +0200 huffman renamed upE1 to upE file | diff | annotate
Thu, 23 Jun 2005 21:17:26 +0200 huffman added match functions for spair, sinl, sinr file | diff | annotate
Sat, 18 Jun 2005 00:38:18 +0200 huffman fixrec shows unsolved subgoals when proofs of rewrites fail file | diff | annotate
Fri, 17 Jun 2005 18:50:40 +0200 huffman added match functions for ONE, TT, and FF; added theorem mplus_fail2 file | diff | annotate
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format file | diff | annotate
Wed, 15 Jun 2005 20:50:38 +0200 huffman fixrec package now handles mutually-recursive definitions file | diff | annotate
Sat, 04 Jun 2005 02:11:47 +0200 huffman use fixrec_package.ML file | diff | annotate
Sat, 04 Jun 2005 00:22:08 +0200 huffman New theory with lemmas for the fixrec package file | diff | annotate
less more (0) tip
isabelle