Thu, 27 Apr 2006 15:06:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
Tue, 20 Sep 2005 08:21:49 +0200 |
haftmann |
slight adaptions to library changes
|
file |
diff |
annotate
|
Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
Wed, 14 Sep 2005 23:04:59 +0200 |
schirmer |
added prem10 - prem19
|
file |
diff |
annotate
|
Thu, 01 Sep 2005 18:48:50 +0200 |
wenzelm |
curried_lookup/update;
|
file |
diff |
annotate
|
Wed, 22 Jun 2005 19:41:29 +0200 |
wenzelm |
renamed data kind;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 18:33:05 +0200 |
wenzelm |
accomodate change of TheoryDataFun;
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 10:52:17 +0200 |
haftmann |
renamed premise* to prem
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 10:30:07 +0200 |
haftmann |
concl antiqutations
|
file |
diff |
annotate
|
Wed, 01 Jun 2005 08:44:25 +0200 |
nipkow |
added premise<i>
|
file |
diff |
annotate
|
Tue, 17 May 2005 18:10:43 +0200 |
wenzelm |
substantial tuning -- adapted to common conventions;
|
file |
diff |
annotate
|
Sun, 15 May 2005 21:04:10 +0200 |
berghofe |
Eta-expanded merge function (to make SmlNJ happy).
|
file |
diff |
annotate
|
Sat, 14 May 2005 21:31:13 +0200 |
haftmann |
added Proof.context to antiquotation
|
file |
diff |
annotate
|
Tue, 03 May 2005 10:33:31 +0200 |
haftmann |
final implementation of antiquotations styles
|
file |
diff |
annotate
|