Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
Thu, 03 Jul 2008 11:16:33 +0200 |
haftmann |
code antiquotation roaring ahead
|
file |
diff |
annotate
|
Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
Wed, 28 Nov 2007 09:01:34 +0100 |
haftmann |
dropped legacy ml bindings
|
file |
diff |
annotate
|
Fri, 20 Jul 2007 14:28:05 +0200 |
haftmann |
dropped Nat.ML legacy bindings
|
file |
diff |
annotate
|
Thu, 19 Jul 2007 21:47:45 +0200 |
haftmann |
adapted to new code generator framework
|
file |
diff |
annotate
|
Thu, 05 Jul 2007 20:01:26 +0200 |
wenzelm |
renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
|
file |
diff |
annotate
|
Thu, 14 Jun 2007 09:37:38 +0200 |
chaieb |
Fixed Problem with ML-bindings for thm names;
|
file |
diff |
annotate
|
Mon, 11 Jun 2007 11:06:15 +0200 |
chaieb |
tuned tactic
|
file |
diff |
annotate
|
Tue, 05 Jun 2007 20:44:12 +0200 |
chaieb |
Added twe Examples for Quantifier elimination ofer linear real arithmetic and over the mixed theory of linear real artihmetic with integers
|
file |
diff |
annotate
|