| Thu, 12 Oct 2000 12:16:22 +0200 |
paulson |
renamed ?Pa to ?Q in swap
|
changeset |
files
|
| Thu, 12 Oct 2000 12:15:59 +0200 |
paulson |
new I-rules r_into_rtrancl, r_into_trancl and a simpler proof
|
changeset |
files
|
| Thu, 12 Oct 2000 12:15:23 +0200 |
paulson |
new theorems mod_eq_0_iff and mod_eqD; also new SD rule
|
changeset |
files
|
| Thu, 12 Oct 2000 11:47:17 +0200 |
wenzelm |
improved exhibit_interrupt;
|
changeset |
files
|
| Wed, 11 Oct 2000 19:06:36 +0200 |
wenzelm |
\isamath and \isatext: more abstract implementation of symbols;
|
changeset |
files
|
| Wed, 11 Oct 2000 13:39:52 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 11 Oct 2000 13:33:38 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 11 Oct 2000 13:20:27 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 11 Oct 2000 13:15:04 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 11 Oct 2000 12:52:56 +0200 |
wenzelm |
fixed \isastyleminor for "tt": \small;
|
changeset |
files
|
| Wed, 11 Oct 2000 10:44:42 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 11 Oct 2000 09:09:06 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 11 Oct 2000 00:03:22 +0200 |
wenzelm |
fixed 'clarify': CHANGED;
|
changeset |
files
|
| Tue, 10 Oct 2000 23:44:44 +0200 |
wenzelm |
fully enclose "\isadigit{...}";
|
changeset |
files
|
| Tue, 10 Oct 2000 23:43:47 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 10 Oct 2000 23:43:23 +0200 |
wenzelm |
AddXEs [someI_ex];
|
changeset |
files
|