| Thu, 30 Nov 2006 14:17:22 +0100 |
wenzelm |
simplified syntax for 'definition', 'abbreviation';
|
file |
diff |
annotate
|
| Fri, 17 Nov 2006 02:19:55 +0100 |
wenzelm |
'notation': more robust 'and' list;
|
file |
diff |
annotate
|
| Sat, 11 Nov 2006 16:11:40 +0100 |
wenzelm |
updated local theory targets;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 11:47:56 +0100 |
wenzelm |
'const_syntax' command: allow fixed variables, renamed to 'notation';
|
file |
diff |
annotate
|
| Fri, 20 Oct 2006 17:07:24 +0200 |
haftmann |
small refinements
|
file |
diff |
annotate
|
| Mon, 11 Sep 2006 21:35:19 +0200 |
wenzelm |
induct method: renamed 'fixing' to 'arbitrary';
|
file |
diff |
annotate
|
| Fri, 08 Sep 2006 13:33:11 +0200 |
haftmann |
changed order of type classes and axclasses
|
file |
diff |
annotate
|
| Mon, 04 Sep 2006 15:27:00 +0200 |
ballarin |
Documented methods intro_locales and unfold_locales.
|
file |
diff |
annotate
|
| Mon, 04 Sep 2006 13:55:32 +0200 |
haftmann |
some corrections in class section
|
file |
diff |
annotate
|
| Mon, 14 Aug 2006 13:46:05 +0200 |
haftmann |
added passage on class package
|
file |
diff |
annotate
|
| Fri, 14 Jul 2006 12:18:33 +0200 |
wenzelm |
simp method: depth_limit;
|
file |
diff |
annotate
|
| Tue, 06 Jun 2006 14:55:56 +0200 |
haftmann |
fixed typo
|
file |
diff |
annotate
|
| Tue, 16 May 2006 21:33:24 +0200 |
wenzelm |
const_syntax;
|
file |
diff |
annotate
|
| Sun, 09 Apr 2006 18:51:11 +0200 |
wenzelm |
unfold(ed): not necessrily meta equations;
|
file |
diff |
annotate
|
| Sat, 08 Apr 2006 22:51:06 +0200 |
wenzelm |
refined 'abbreviation';
|
file |
diff |
annotate
|
| Mon, 27 Feb 2006 12:20:21 +0100 |
ballarin |
Typo.
|
file |
diff |
annotate
|
| Thu, 16 Feb 2006 18:25:54 +0100 |
wenzelm |
derived specifications: definition, abbreviation, axiomatization;
|
file |
diff |
annotate
|
| Thu, 02 Feb 2006 16:31:31 +0100 |
wenzelm |
'obtain': optional case name;
|
file |
diff |
annotate
|
| Mon, 30 Jan 2006 12:20:05 +0100 |
wenzelm |
'fixes': support plain vars;
|
file |
diff |
annotate
|
| Sat, 31 Dec 2005 21:49:38 +0100 |
wenzelm |
removed classical elim_format;
|
file |
diff |
annotate
|
| Fri, 23 Dec 2005 15:16:58 +0100 |
wenzelm |
induct etc.: admit multiple rules;
|
file |
diff |
annotate
|
| Wed, 23 Nov 2005 18:51:59 +0100 |
wenzelm |
added case_conclusion attribute;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2005 00:08:13 +0200 |
wenzelm |
added guess;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2005 16:59:48 +0200 |
wenzelm |
axclass: name space prefix is now "c_class" instead of just "c";
|
file |
diff |
annotate
|
| Fri, 02 Sep 2005 09:50:58 +0200 |
ballarin |
print_locale omits facts by default
|
file |
diff |
annotate
|
| Wed, 24 Aug 2005 12:07:00 +0200 |
ballarin |
Printing of interpretations: option to show witness theorems;
|
file |
diff |
annotate
|
| Wed, 10 Aug 2005 15:29:56 +0200 |
ballarin |
New command: interpretation in locales.
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 12:30:49 +0200 |
ballarin |
Locales: new element constrains, parameter renaming with syntax,
|
file |
diff |
annotate
|
| Fri, 27 May 2005 16:24:48 +0200 |
ballarin |
Locale expressions: rename with optional mixfix syntax.
|
file |
diff |
annotate
|
| Thu, 19 May 2005 18:07:05 +0200 |
nipkow |
subst again
|
file |
diff |
annotate
|