| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Wed, 16 Jun 2004 14:56:39 +0200 |
paulson |
removal of x-symbol syntax <Sigma> for dependent products
|
file |
diff |
annotate
|
| Thu, 28 Aug 2003 01:56:40 +0200 |
skalberg |
Extended the notion of letter and digit, such that now one may use greek,
|
file |
diff |
annotate
|
| Fri, 25 Jul 2003 17:21:22 +0200 |
nipkow |
Replaced \<leadsto> by \<rightharpoonup>
|
file |
diff |
annotate
|
| Mon, 17 Mar 2003 18:38:50 +0100 |
nipkow |
just a few mods to a few thms
|
file |
diff |
annotate
|
| Thu, 22 Nov 2001 17:12:08 +0100 |
wenzelm |
renamed "fields" to "flds" (avoid clash with new "fields" operation);
|
file |
diff |
annotate
|
| Fri, 28 Sep 2001 19:17:01 +0200 |
wenzelm |
recdef (permissive);
|
file |
diff |
annotate
|
| Fri, 21 Sep 2001 18:23:15 +0200 |
oheimb |
Minor improvements, added Example
|
file |
diff |
annotate
|
| Mon, 10 Sep 2001 17:35:22 +0200 |
oheimb |
simplified vnam/vname, introduced fname, improved comments
|
file |
diff |
annotate
|
| Sat, 16 Jun 2001 20:06:42 +0200 |
oheimb |
added NanoJava
|
file |
diff |
annotate
|