| Tue, 19 Apr 2005 18:46:04 +0200 |
webertj |
refute extended
|
changeset |
files
|
| Tue, 19 Apr 2005 18:08:55 +0200 |
paulson |
syntax fix
|
changeset |
files
|
| Tue, 19 Apr 2005 18:08:44 +0200 |
paulson |
more tidying of libraries in Reconstruction
|
changeset |
files
|
| Tue, 19 Apr 2005 15:15:06 +0200 |
quigley |
Completed integration of reconstruction code. Now finds and displays proofs when used with modified version
|
changeset |
files
|
| Tue, 19 Apr 2005 13:35:01 +0200 |
paulson |
auto update
|
changeset |
files
|
| Tue, 19 Apr 2005 13:34:50 +0200 |
paulson |
restored the target HOL-Complex-Import
|
changeset |
files
|
| Tue, 19 Apr 2005 11:40:23 +0200 |
paulson |
fixed presentation
|
changeset |
files
|
| Tue, 19 Apr 2005 10:59:31 +0200 |
obua |
Removed mult_commute axiom from comm_semiring axclass.
|
changeset |
files
|
| Tue, 19 Apr 2005 00:14:27 +0200 |
webertj |
compilation error fixed
|
changeset |
files
|
| Mon, 18 Apr 2005 17:20:49 +0200 |
webertj |
support for recursion over mutually recursive IDTs
|
changeset |
files
|
| Mon, 18 Apr 2005 15:54:23 +0200 |
ballarin |
Cleaned up, now use interpretation.
|
changeset |
files
|
| Mon, 18 Apr 2005 15:53:51 +0200 |
ballarin |
Cleaned up, now uses interpretation.
|
changeset |
files
|
| Mon, 18 Apr 2005 10:36:05 +0200 |
paulson |
deleted obsolete code
|
changeset |
files
|
| Mon, 18 Apr 2005 09:25:23 +0200 |
ballarin |
Interpretation supports statically scoped attributes; documentation.
|
changeset |
files
|
| Sun, 17 Apr 2005 19:40:43 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Sun, 17 Apr 2005 19:40:34 +0200 |
wenzelm |
added delete_safe, insert, remove, remove_multi;
|
changeset |
files
|
| Sun, 17 Apr 2005 19:39:39 +0200 |
wenzelm |
clarified insert/remove;
|
changeset |
files
|
| Sun, 17 Apr 2005 19:39:11 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 17 Apr 2005 19:38:53 +0200 |
wenzelm |
binds/thms: do not store options, but delete from table;
|
changeset |
files
|
| Sun, 17 Apr 2005 19:38:40 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sun, 17 Apr 2005 19:38:30 +0200 |
wenzelm |
removed;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:58:55 +0200 |
wenzelm |
expect translations functions to be stamped already;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:58:30 +0200 |
wenzelm |
added stamp_trfun, mk_trfun, eq_trfun;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:58:18 +0200 |
wenzelm |
tuned extend_prtabs;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:58:09 +0200 |
wenzelm |
added make_gram;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:57:53 +0200 |
wenzelm |
identify binder translations only once (admits remove);
|
changeset |
files
|
| Sat, 16 Apr 2005 18:57:39 +0200 |
wenzelm |
Syntax.mk_trfun;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:57:18 +0200 |
wenzelm |
tuned (t)inst_tab_elem;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:56:48 +0200 |
wenzelm |
added 'no_syntax' command;
|
changeset |
files
|
| Sat, 16 Apr 2005 18:56:37 +0200 |
wenzelm |
added del_modesyntax(_i);
|
changeset |
files
|