| Thu, 22 Apr 2004 11:00:03 +0200 |
wenzelm |
removed add_constdefs(_i), see constdefs.ML for improved version; advanced translation functions;
|
changeset |
files
|
| Thu, 22 Apr 2004 10:59:41 +0200 |
wenzelm |
tuned interfaces to accomodate advanced translation functions;
|
changeset |
files
|
| Thu, 22 Apr 2004 10:59:19 +0200 |
wenzelm |
non_typed_tr';
|
changeset |
files
|
| Thu, 22 Apr 2004 10:58:54 +0200 |
wenzelm |
added opt_keyword, mixfix';
|
changeset |
files
|
| Thu, 22 Apr 2004 10:57:12 +0200 |
wenzelm |
support for advanced translation functions;
|
changeset |
files
|
| Thu, 22 Apr 2004 10:55:02 +0200 |
wenzelm |
adapted Sign.rep_sg;
|
changeset |
files
|
| Thu, 22 Apr 2004 10:52:32 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 22 Apr 2004 10:49:30 +0200 |
wenzelm |
improved constdefs and translation functions;
|
changeset |
files
|
| Thu, 22 Apr 2004 10:45:56 +0200 |
paulson |
moved Complex/NSInduct and Hyperreal/IntFloor to more appropriate
|
changeset |
files
|
| Thu, 22 Apr 2004 10:43:06 +0200 |
paulson |
new lemmas
|
changeset |
files
|
| Thu, 22 Apr 2004 09:23:13 +0200 |
kleing |
typo
|
changeset |
files
|
| Thu, 22 Apr 2004 09:19:28 +0200 |
kleing |
Higher order logic more obvious than set theory
|
changeset |
files
|