| Tue, 20 Sep 2005 10:36:33 +0200 | chaieb | algebra method added. | file | diff | annotate |
| Sat, 17 Sep 2005 18:11:25 +0200 | wenzelm | removed obsolete BasisLibrary; | file | diff | annotate |
| Wed, 14 Sep 2005 22:04:38 +0200 | wenzelm | fixed some ML names; | 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 |