Tue, 29 Aug 2000 20:11:11 +0200 |
wenzelm |
improved spacing of Sum, Prod, integral;
|
file |
diff |
annotate
|
Thu, 24 Aug 2000 00:55:42 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Wed, 12 Apr 2000 23:49:10 +0200 |
wenzelm |
tuned \isasymlbrace;
|
file |
diff |
annotate
|
Thu, 06 Apr 2000 19:11:30 +0200 |
wenzelm |
tuned \isasymlbrace;
|
file |
diff |
annotate
|
Thu, 06 Apr 2000 17:05:38 +0200 |
wenzelm |
added \isasymlbrace, \isasymrbrace, \isasymtop;
|
file |
diff |
annotate
|
Fri, 04 Feb 2000 21:36:13 +0100 |
wenzelm |
tuned syms;
|
file |
diff |
annotate
|
Thu, 27 Jan 2000 15:30:10 +0100 |
oheimb |
*** empty log message ***
|
file |
diff |
annotate
|
Sat, 30 Oct 1999 20:11:35 +0200 |
wenzelm |
definitions of many Isabelle symbols;
|
file |
diff |
annotate
|