| Sun, 18 Oct 2015 20:28:29 +0200 |
wenzelm |
clarified control antiquotations: decode control symbol to get name;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 17:24:24 +0200 |
wenzelm |
support control symbol antiquotations;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 21:15:10 +0200 |
wenzelm |
added 'paragraph', 'subparagraph';
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 19:47:34 +0200 |
wenzelm |
more explicit output of list items;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 14:21:00 +0200 |
wenzelm |
clarified control symbols;
|
file |
diff |
annotate
|
| Tue, 13 Oct 2015 12:42:08 +0100 |
paulson |
new material on path_component_sets, inside, outside, etc. And more default simprules
|
file |
diff |
annotate
|
| Tue, 13 Oct 2015 09:21:15 +0200 |
haftmann |
prod_case as canonical name for product type eliminator
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 17:10:36 +0200 |
wenzelm |
some control symbols for markup and formatting;
|
file |
diff |
annotate
|
| Sat, 10 Oct 2015 19:22:05 +0200 |
wenzelm |
prefer symbols;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 21:20:43 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 01:44:29 +0200 |
kuncar |
NEWS
|
file |
diff |
annotate
|
| Tue, 06 Oct 2015 18:44:07 +0200 |
blanchet |
news
|
file |
diff |
annotate
|
| Tue, 06 Oct 2015 15:39:00 +0200 |
wenzelm |
added 'proposition' command;
|
file |
diff |
annotate
|
| Tue, 06 Oct 2015 15:14:28 +0200 |
wenzelm |
fewer aliases for toplevel theorem statements;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2015 16:14:33 +0200 |
blanchet |
avoid too aggressive optimization of 'finite' predicate
|
file |
diff |
annotate
|