Fri, 07 Dec 2007 15:08:07 +0100 |
haftmann |
new primrec
|
file |
diff |
annotate
|
Wed, 05 Dec 2007 14:15:51 +0100 |
haftmann |
improved
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 07:46:00 +0200 |
haftmann |
introduced generic concepts for theory interpretators
|
file |
diff |
annotate
|
Thu, 06 Sep 2007 11:32:28 +0200 |
berghofe |
Integrated Executable_Rat and Executable_Real theories into
|
file |
diff |
annotate
|
Mon, 27 Aug 2007 11:34:14 +0200 |
haftmann |
added explicit equation for equality of nested environments
|
file |
diff |
annotate
|
Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
Thu, 09 Aug 2007 15:52:49 +0200 |
haftmann |
proper implementation of rational numbers
|
file |
diff |
annotate
|
Tue, 10 Jul 2007 09:23:16 +0200 |
haftmann |
re-expanded paths
|
file |
diff |
annotate
|
Tue, 05 Jun 2007 22:46:57 +0200 |
wenzelm |
tuned source deps;
|
file |
diff |
annotate
|
Sat, 19 May 2007 11:33:20 +0200 |
haftmann |
added Executable_Real
|
file |
diff |
annotate
|
Tue, 15 May 2007 18:28:02 +0200 |
chaieb |
A verified theory for rational numbers representation and simple calculations;
|
file |
diff |
annotate
|
Fri, 20 Apr 2007 11:21:50 +0200 |
haftmann |
added more stuff
|
file |
diff |
annotate
|
Fri, 30 Mar 2007 16:19:02 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Mon, 26 Mar 2007 14:53:04 +0200 |
haftmann |
Eval theory
|
file |
diff |
annotate
|
Fri, 26 Jan 2007 13:59:02 +0100 |
haftmann |
added NestedEnvironment
|
file |
diff |
annotate
|
Thu, 25 Jan 2007 09:32:45 +0100 |
haftmann |
not importing NestedEnvironment
|
file |
diff |
annotate
|
Fri, 05 Jan 2007 14:31:47 +0100 |
haftmann |
added CodeEval
|
file |
diff |
annotate
|
Thu, 28 Dec 2006 10:04:10 +0100 |
haftmann |
added
|
file |
diff |
annotate
|