| Fri, 17 Mar 2006 16:17:38 +0100 |
haftmann |
fixed clsvar bug
|
changeset |
files
|
| Fri, 17 Mar 2006 15:22:40 +0100 |
ballarin |
add_locale(_i) returns internal locale name.
|
changeset |
files
|
| Fri, 17 Mar 2006 14:20:24 +0100 |
haftmann |
added example for operational classes and code generator
|
changeset |
files
|
| Fri, 17 Mar 2006 14:19:24 +0100 |
haftmann |
slight improvement in serializer, stub for code generator theorems added
|
changeset |
files
|
| Fri, 17 Mar 2006 10:04:27 +0100 |
ballarin |
Renamed setsum_mult to setsum_right_distrib.
|
changeset |
files
|
| Fri, 17 Mar 2006 09:57:25 +0100 |
ballarin |
Internal restructuring: local parameters.
|
changeset |
files
|
| Fri, 17 Mar 2006 09:34:23 +0100 |
haftmann |
renamed op < <= to Orderings.less(_eq)
|
changeset |
files
|
| Thu, 16 Mar 2006 20:19:25 +0100 |
ballarin |
New interface function parameters_of_expr.
|
changeset |
files
|
| Wed, 15 Mar 2006 17:59:33 +0100 |
berghofe |
add_inst_arity_i renamed to prove_arity.
|
changeset |
files
|
| Wed, 15 Mar 2006 16:18:12 +0100 |
wenzelm |
rename_frees: treat trivial names;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:07:33 +0100 |
wenzelm |
added singleton;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:43 +0100 |
wenzelm |
updated;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:42 +0100 |
wenzelm |
turned string_of_mixfix into pretty_mixfix;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:40 +0100 |
wenzelm |
added monomorphic;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:39 +0100 |
wenzelm |
added 'print_statement' command;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:37 +0100 |
wenzelm |
added print_stmts;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:36 +0100 |
wenzelm |
added pretty_statement;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:35 +0100 |
wenzelm |
added command, keyword;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:33 +0100 |
wenzelm |
Output.add_mode: keyword component;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:31 +0100 |
wenzelm |
string_of_mixfix;
|
changeset |
files
|
| Tue, 14 Mar 2006 22:06:29 +0100 |
wenzelm |
print_statement;
|
changeset |
files
|
| Tue, 14 Mar 2006 16:29:39 +0100 |
wenzelm |
added remove_trrules(_i);
|
changeset |
files
|
| Tue, 14 Mar 2006 16:29:38 +0100 |
wenzelm |
added is_elim (from Provers/classical.ML);
|
changeset |
files
|
| Tue, 14 Mar 2006 16:29:37 +0100 |
wenzelm |
added 'no_translations';
|
changeset |
files
|
| Tue, 14 Mar 2006 16:29:36 +0100 |
wenzelm |
added pretty_stmt;
|
changeset |
files
|
| Tue, 14 Mar 2006 16:29:35 +0100 |
wenzelm |
declared_const: check for type constraint only, i.e. admit abbreviations as well;
|
changeset |
files
|
| Tue, 14 Mar 2006 16:29:34 +0100 |
wenzelm |
ObjectLogic.is_elim;
|
changeset |
files
|
| Tue, 14 Mar 2006 16:29:32 +0100 |
wenzelm |
tuned constdecl;
|
changeset |
files
|