| Sun, 18 May 2008 15:04:41 +0200 |
wenzelm |
Syntax.string_of_typ: proper context;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:37 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:33 +0200 |
wenzelm |
removed norm_absolute (not thread safe; chdir does not guarantee normalization anyway);
|
changeset |
files
|
| Sun, 18 May 2008 15:04:31 +0200 |
wenzelm |
renamed type decompT to decomp;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:27 +0200 |
wenzelm |
Syntax.string_of_term with proper context;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:24 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:22 +0200 |
wenzelm |
renamed type decompT to decomp;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:20 +0200 |
wenzelm |
pr_matrix: proper context;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:17 +0200 |
wenzelm |
guess_instance: proper context;
|
changeset |
files
|
| Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
changeset |
files
|
| Sat, 17 May 2008 23:53:20 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Sat, 17 May 2008 23:53:19 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Sat, 17 May 2008 23:37:11 +0200 |
wenzelm |
avoid undeclared variables in facts;
|
changeset |
files
|
| Sat, 17 May 2008 23:37:09 +0200 |
wenzelm |
avoid undeclared variables within proofs;
|
changeset |
files
|
| Sat, 17 May 2008 23:37:07 +0200 |
wenzelm |
avoid undeclared variables within proofs;
|
changeset |
files
|
| Sat, 17 May 2008 21:46:24 +0200 |
wenzelm |
tuned proof;
|
changeset |
files
|