Wed, 27 Aug 2003 18:13:39 +0200 |
skalberg |
Prepared for extended identifiers (\<alpha>, etc.)
|
file |
diff |
annotate
|
Thu, 01 May 2003 08:39:37 +0200 |
berghofe |
induct_impliesI is now unfolded.
|
file |
diff |
annotate
|
Wed, 23 Apr 2003 00:14:55 +0200 |
berghofe |
Tuned realizer for exE rule, to avoid blowup of extracted program.
|
file |
diff |
annotate
|
Wed, 27 Nov 2002 17:06:47 +0100 |
berghofe |
Changed format of realizers / correctness proofs.
|
file |
diff |
annotate
|
Mon, 30 Sep 2002 16:10:32 +0200 |
berghofe |
Added elim_vars to preprocessor.
|
file |
diff |
annotate
|
Wed, 07 Aug 2002 16:47:36 +0200 |
berghofe |
Removed (now unneeded) declaration of realizers for induction on natural numbers.
|
file |
diff |
annotate
|
Mon, 05 Aug 2002 14:29:20 +0200 |
berghofe |
Removed reference to theory NatDef.
|
file |
diff |
annotate
|
Sun, 21 Jul 2002 15:42:30 +0200 |
berghofe |
Added theory for setting up program extraction.
|
file |
diff |
annotate
|