| Tue, 21 Jul 2009 15:44:31 +0200 |
haftmann |
integrated add_triv_classes into evaluation stack
|
file |
diff |
annotate
|
| Tue, 21 Jul 2009 01:03:18 +0200 |
wenzelm |
proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 08:18:07 +0200 |
haftmann |
tuned structure Code internally
|
file |
diff |
annotate
|
| Tue, 07 Jul 2009 17:21:27 +0200 |
haftmann |
tuned interface of structure Code
|
file |
diff |
annotate
|
| Fri, 03 Jul 2009 16:51:07 +0200 |
haftmann |
cleaned up fundamental iml term functions; nested patterns
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 19:31:50 +0200 |
haftmann |
improved treatment of case patterns
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 18:23:50 +0200 |
haftmann |
an intermediate step towards a refined translation of cases
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 17:33:30 +0200 |
haftmann |
all variable names are optional
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 16:43:28 +0200 |
haftmann |
variable names in abstractions are optional
|
file |
diff |
annotate
|
| Tue, 30 Jun 2009 14:54:00 +0200 |
haftmann |
simplified binding concept
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 12:09:30 +0200 |
haftmann |
uniformly capitialized names for subdirectories
|
file |
diff |
annotate
| base
|