Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 19 Apr 2005 10:59:31 +0200 Removed mult_commute axiom from comm_semiring axclass.
changeset
obua [Tue, 19 Apr 2005 10:59:31 +0200] rev 15769
Removed mult_commute axiom from comm_semiring axclass.
Tue, 19 Apr 2005 00:14:27 +0200 compilation error fixed
changeset
webertj [Tue, 19 Apr 2005 00:14:27 +0200] rev 15768
compilation error fixed
Mon, 18 Apr 2005 17:20:49 +0200 support for recursion over mutually recursive IDTs
changeset
webertj [Mon, 18 Apr 2005 17:20:49 +0200] rev 15767
support for recursion over mutually recursive IDTs
Mon, 18 Apr 2005 15:54:23 +0200 Cleaned up, now use interpretation.
changeset
ballarin [Mon, 18 Apr 2005 15:54:23 +0200] rev 15766
Cleaned up, now use interpretation.
Mon, 18 Apr 2005 15:53:51 +0200 Cleaned up, now uses interpretation.
changeset
ballarin [Mon, 18 Apr 2005 15:53:51 +0200] rev 15765
Cleaned up, now uses interpretation.
Mon, 18 Apr 2005 10:36:05 +0200 deleted obsolete code
changeset
paulson [Mon, 18 Apr 2005 10:36:05 +0200] rev 15764
deleted obsolete code
Mon, 18 Apr 2005 09:25:23 +0200 Interpretation supports statically scoped attributes; documentation.
changeset
ballarin [Mon, 18 Apr 2005 09:25:23 +0200] rev 15763
Interpretation supports statically scoped attributes; documentation.
Sun, 17 Apr 2005 19:40:43 +0200 updated;
changeset
wenzelm [Sun, 17 Apr 2005 19:40:43 +0200] rev 15762
updated;
Sun, 17 Apr 2005 19:40:34 +0200 added delete_safe, insert, remove, remove_multi;
changeset
wenzelm [Sun, 17 Apr 2005 19:40:34 +0200] rev 15761
added delete_safe, insert, remove, remove_multi; tuned;
Sun, 17 Apr 2005 19:39:39 +0200 clarified insert/remove;
changeset
wenzelm [Sun, 17 Apr 2005 19:39:39 +0200] rev 15760
clarified insert/remove; tuned canonical fold/fold_rev;
Sun, 17 Apr 2005 19:39:11 +0200 tuned;
changeset
wenzelm [Sun, 17 Apr 2005 19:39:11 +0200] rev 15759
tuned;
Sun, 17 Apr 2005 19:38:53 +0200 binds/thms: do not store options, but delete from table;
changeset
wenzelm [Sun, 17 Apr 2005 19:38:53 +0200] rev 15758
binds/thms: do not store options, but delete from table; tuned;
Sun, 17 Apr 2005 19:38:40 +0200 tuned comments;
changeset
wenzelm [Sun, 17 Apr 2005 19:38:40 +0200] rev 15757
tuned comments;
Sun, 17 Apr 2005 19:38:30 +0200 removed;
changeset
wenzelm [Sun, 17 Apr 2005 19:38:30 +0200] rev 15756
removed;
Sat, 16 Apr 2005 18:58:55 +0200 expect translations functions to be stamped already;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:55 +0200] rev 15755
expect translations functions to be stamped already; added remove_const_gram;
Sat, 16 Apr 2005 18:58:30 +0200 added stamp_trfun, mk_trfun, eq_trfun;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:30 +0200] rev 15754
added stamp_trfun, mk_trfun, eq_trfun;
Sat, 16 Apr 2005 18:58:18 +0200 tuned extend_prtabs;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:18 +0200] rev 15753
tuned extend_prtabs; added remove_prtabs;
Sat, 16 Apr 2005 18:58:09 +0200 added make_gram;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:09 +0200] rev 15752
added make_gram; merge_gram: do not add chain productions to prods;
Sat, 16 Apr 2005 18:57:53 +0200 identify binder translations only once (admits remove);
changeset
wenzelm [Sat, 16 Apr 2005 18:57:53 +0200] rev 15751
identify binder translations only once (admits remove);
Sat, 16 Apr 2005 18:57:39 +0200 Syntax.mk_trfun;
changeset
wenzelm [Sat, 16 Apr 2005 18:57:39 +0200] rev 15750
Syntax.mk_trfun;
Sat, 16 Apr 2005 18:57:18 +0200 tuned (t)inst_tab_elem;
changeset
wenzelm [Sat, 16 Apr 2005 18:57:18 +0200] rev 15749
tuned (t)inst_tab_elem;
Sat, 16 Apr 2005 18:56:48 +0200 added 'no_syntax' command;
changeset
wenzelm [Sat, 16 Apr 2005 18:56:48 +0200] rev 15748
added 'no_syntax' command;
Sat, 16 Apr 2005 18:56:37 +0200 added del_modesyntax(_i);
changeset
wenzelm [Sat, 16 Apr 2005 18:56:37 +0200] rev 15747
added del_modesyntax(_i);
Sat, 16 Apr 2005 18:56:21 +0200 added del_modesyntax(_i);
changeset
wenzelm [Sat, 16 Apr 2005 18:56:21 +0200] rev 15746
added del_modesyntax(_i); added print_all_data;
Sat, 16 Apr 2005 18:55:51 +0200 added gen_remove, remove;
changeset
wenzelm [Sat, 16 Apr 2005 18:55:51 +0200] rev 15745
added gen_remove, remove; usual arrangement BasicLibrary: BASIC_LIBRARY and Library: LIBRARY;
Sat, 16 Apr 2005 18:55:28 +0200 Pure: command 'no_syntax' removes grammar declarations;
changeset
wenzelm [Sat, 16 Apr 2005 18:55:28 +0200] rev 15744
Pure: command 'no_syntax' removes grammar declarations;
Sat, 16 Apr 2005 18:54:44 +0200 removed;
changeset
wenzelm [Sat, 16 Apr 2005 18:54:44 +0200] rev 15743
removed;
Sat, 16 Apr 2005 00:17:52 +0200 speed improvements for the domain package
changeset
huffman [Sat, 16 Apr 2005 00:17:52 +0200] rev 15742
speed improvements for the domain package
Sat, 16 Apr 2005 00:16:44 +0200 New file for theorems used by the domain package
changeset
huffman [Sat, 16 Apr 2005 00:16:44 +0200] rev 15741
New file for theorems used by the domain package
Fri, 15 Apr 2005 18:43:35 +0200 rermoved pointless example
changeset
nipkow [Fri, 15 Apr 2005 18:43:35 +0200] rev 15740
rermoved pointless example
Fri, 15 Apr 2005 18:16:05 +0200 yet more tidying up: removal of some references to Main
changeset
paulson [Fri, 15 Apr 2005 18:16:05 +0200] rev 15739
yet more tidying up: removal of some references to Main
Fri, 15 Apr 2005 17:03:35 +0200 *** empty log message ***
changeset
nipkow [Fri, 15 Apr 2005 17:03:35 +0200] rev 15738
*** empty log message ***
(0) -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle