| Sun, 26 Nov 2006 18:07:21 +0100 |
wenzelm |
abbrevs: no result;
|
changeset |
files
|
| Sun, 26 Nov 2006 18:07:20 +0100 |
wenzelm |
added morh_result, the_inductive, add_inductive_global;
|
changeset |
files
|
| Sun, 26 Nov 2006 18:07:19 +0100 |
wenzelm |
InductivePackage.add_inductive_global;
|
changeset |
files
|
| Sun, 26 Nov 2006 18:07:16 +0100 |
wenzelm |
updated (binder) syntax/notation;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:19 +0100 |
wenzelm |
tuned morphisms;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:18 +0100 |
wenzelm |
added export_morphism;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:17 +0100 |
wenzelm |
simultaneous fact morphism;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:16 +0100 |
wenzelm |
added type_map;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:15 +0100 |
wenzelm |
added cterm_rule;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:14 +0100 |
wenzelm |
fake predeclaration of structure ProofContext;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:13 +0100 |
wenzelm |
added export_morphism;
|
changeset |
files
|
| Fri, 24 Nov 2006 22:05:12 +0100 |
wenzelm |
ProofContext.init;
|
changeset |
files
|
| Fri, 24 Nov 2006 17:23:15 +0100 |
aspinall |
Comment: see RFC 2396 for relative URI syntax.
|
changeset |
files
|
| Fri, 24 Nov 2006 17:22:32 +0100 |
aspinall |
Send full paths in PGIP version of file loaded/retracted messages
|
changeset |
files
|
| Fri, 24 Nov 2006 16:38:42 +0100 |
paulson |
Conversion of "equal" to "=" for TSTP format; big tidy-up
|
changeset |
files
|
| Fri, 24 Nov 2006 13:44:51 +0100 |
krauss |
Lemma "fundef_default_value" uses predicate instead of set.
|
changeset |
files
|