| Tue, 20 Sep 2005 16:17:34 +0200 | haftmann | introduced AList module in favor of assoc etc. | file | diff | annotate |
| Thu, 15 Sep 2005 22:16:23 +0200 | chaieb | The SMLNJ Problem fixed... | file | diff | annotate |
| Wed, 14 Sep 2005 17:25:52 +0200 | chaieb | The oracle for Presburger has been changer: It is automatically generated form a verified formaliztion of Cooper's Algorithm ex/Reflected_Presburger.thy | file | diff | annotate |