| Tue, 20 Oct 2009 10:11:30 +0200 |
boehmes |
added proof reconstructon for Z3,
|
file |
diff |
annotate
|
| Sun, 18 Oct 2009 18:07:44 +0200 |
nipkow |
certificates for sos
|
file |
diff |
annotate
|
| Sun, 18 Oct 2009 12:07:56 +0200 |
nipkow |
merged
|
file |
diff |
annotate
|
| Sun, 18 Oct 2009 12:07:25 +0200 |
nipkow |
Inv -> inv_onto, inv abbr. inv_onto UNIV.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 23:07:53 +0200 |
ballarin |
Merged.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 22:58:18 +0200 |
ballarin |
Finished revisions of locales tutorial.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 16:58:03 +0200 |
wenzelm |
operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2009 10:00:47 +0200 |
haftmann |
term styles also cover antiquotations term_type and typeof
|
file |
diff |
annotate
|
| Thu, 08 Oct 2009 15:16:13 +0200 |
haftmann |
new generalized concept for term styles
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 20:49:46 +0200 |
ballarin |
News entry: inheritance of mixins; print_interps.
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 09:25:18 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Wed, 30 Sep 2009 08:28:23 +0200 |
haftmann |
mandatory prefix where appropriate
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:42:29 +0200 |
wenzelm |
Synchronized and Unsynchronized;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2009 10:20:03 +0200 |
haftmann |
NEWS; corrected spelling
|
file |
diff |
annotate
|
| Tue, 22 Sep 2009 15:39:46 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|