Thu, 26 Apr 2007 13:33:12 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 20 Apr 2007 11:21:35 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Sun, 15 Apr 2007 14:32:05 +0200 |
wenzelm |
Thm.plain_prop_of;
|
file |
diff |
annotate
|
Fri, 30 Mar 2007 16:19:03 +0200 |
haftmann |
simplified constant representation in code generator
|
file |
diff |
annotate
|
Tue, 20 Mar 2007 15:52:41 +0100 |
haftmann |
improved treatment of defining equations stemming from specification tools
|
file |
diff |
annotate
|
Tue, 20 Mar 2007 08:27:20 +0100 |
haftmann |
adjusted definition of defining equation
|
file |
diff |
annotate
|
Fri, 16 Mar 2007 21:32:20 +0100 |
haftmann |
clarified check of defining equations
|
file |
diff |
annotate
|
Tue, 30 Jan 2007 08:21:19 +0100 |
haftmann |
additional auxiliary here
|
file |
diff |
annotate
|
Fri, 26 Jan 2007 13:59:04 +0100 |
haftmann |
clarified code
|
file |
diff |
annotate
|
Thu, 25 Jan 2007 09:32:51 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Tue, 09 Jan 2007 19:09:00 +0100 |
haftmann |
cleanup
|
file |
diff |
annotate
|
Tue, 09 Jan 2007 08:31:48 +0100 |
haftmann |
moved a lot to codegen_func.ML
|
file |
diff |
annotate
|
Fri, 05 Jan 2007 14:32:07 +0100 |
haftmann |
added codegen_func.ML
|
file |
diff |
annotate
|