| 2005-12-31 |
wenzelm |
removed classical elim_format;
|
file |
diff |
annotate
|
| 2005-12-23 |
wenzelm |
induct etc.: admit multiple rules;
|
file |
diff |
annotate
|
| 2005-11-23 |
wenzelm |
added case_conclusion attribute;
|
file |
diff |
annotate
|
| 2005-10-14 |
wenzelm |
added guess;
|
file |
diff |
annotate
|
| 2005-09-06 |
wenzelm |
axclass: name space prefix is now "c_class" instead of just "c";
|
file |
diff |
annotate
|
| 2005-09-02 |
ballarin |
print_locale omits facts by default
|
file |
diff |
annotate
|
| 2005-08-24 |
ballarin |
Printing of interpretations: option to show witness theorems;
|
file |
diff |
annotate
|
| 2005-08-10 |
ballarin |
New command: interpretation in locales.
|
file |
diff |
annotate
|
| 2005-06-01 |
ballarin |
Locales: new element constrains, parameter renaming with syntax,
|
file |
diff |
annotate
|
| 2005-05-27 |
ballarin |
Locale expressions: rename with optional mixfix syntax.
|
file |
diff |
annotate
|
| 2005-05-19 |
nipkow |
subst again
|
file |
diff |
annotate
|
| 2005-05-17 |
nipkow |
documented new subst
|
file |
diff |
annotate
|
| 2005-04-25 |
ballarin |
Subsumption of locale interpretations.
|
file |
diff |
annotate
|
| 2005-04-18 |
ballarin |
Interpretation supports statically scoped attributes; documentation.
|
file |
diff |
annotate
|
| 2004-04-16 |
wenzelm |
'instance' and intro_classes now handle general sorts;
|
file |
diff |
annotate
|
| 2003-09-30 |
ballarin |
Improvements wrt rule_tac.
|
file |
diff |
annotate
|
| 2003-08-29 |
ballarin |
Method rule_tac understands Isar contexts: documentation.
|
file |
diff |
annotate
|
| 2002-10-02 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| 2002-10-01 |
berghofe |
Documented new "asm_lr" option for simp.
|
file |
diff |
annotate
|
| 2002-07-26 |
wenzelm |
support for split assumptions in cases (hyps vs. prems);
|
file |
diff |
annotate
|
| 2002-07-23 |
wenzelm |
locales: predicate defs;
|
file |
diff |
annotate
|
| 2002-03-08 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-03-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-03-07 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
| 2002-03-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-03-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-03-06 |
wenzelm |
some more stuff;
|
file |
diff |
annotate
|
| 2002-03-05 |
wenzelm |
more stuff;
|
file |
diff |
annotate
|
| 2002-03-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-02-28 |
wenzelm |
contexts, locales, sym(metric);
|
file |
diff |
annotate
|
| 2002-02-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-02-12 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-01-03 |
wenzelm |
next round of updates;
|
file |
diff |
annotate
|
| 2002-01-02 |
wenzelm |
first stage of major update;
|
file |
diff |
annotate
|
| 2001-10-04 |
wenzelm |
induct/cases made generic, removed simplified/stripped options;
|
file |
diff |
annotate
|
| 2001-08-07 |
oheimb |
removed the warning from [iff]
|
file |
diff |
annotate
|
| 2001-07-23 |
oheimb |
slight improvement for iff attribute
|
file |
diff |
annotate
|
| 2001-05-31 |
oheimb |
corrected entry for iff attribute
|
file |
diff |
annotate
|
| 2001-05-30 |
oheimb |
extended doc for iff attribute
|
file |
diff |
annotate
|
| 2001-02-14 |
wenzelm |
index mod syntax;
|
file |
diff |
annotate
|
| 2001-02-12 |
wenzelm |
\<subseteq> syntax for classes/classrel/axclass/instance;
|
file |
diff |
annotate
|
| 2001-02-11 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2001-01-10 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2000-12-27 |
wenzelm |
'insert' made proper;
|
file |
diff |
annotate
|
| 2000-12-07 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2000-11-30 |
wenzelm |
'consumes' att;
|
file |
diff |
annotate
|
| 2000-10-24 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2000-10-15 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2000-10-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2000-10-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2000-09-19 |
wenzelm |
attribute / modifier 'iff': support "?" mode;
|
file |
diff |
annotate
|
| 2000-09-12 |
wenzelm |
renamed atts: rulify to rule_format, elimify to elim_format;
|
file |
diff |
annotate
|
| 2000-09-12 |
wenzelm |
renamed "delrule" to "rule del";
|
file |
diff |
annotate
|
| 2000-09-07 |
wenzelm |
improved att names;
|
file |
diff |
annotate
|
| 2000-09-05 |
wenzelm |
added 'iff' modifier;
|
file |
diff |
annotate
|
| 2000-09-02 |
wenzelm |
'split' method: '(asm)' option;
|
file |
diff |
annotate
|
| 2000-08-31 |
wenzelm |
added 'safe' method;
|
file |
diff |
annotate
|
| 2000-08-28 |
wenzelm |
'cong' modifiers;
|
file |
diff |
annotate
|
| 2000-08-28 |
wenzelm |
added 'split' method;
|
file |
diff |
annotate
|
| 2000-08-17 |
wenzelm |
fixed indexing;
|
file |
diff |
annotate
|