Index of /~slind/papers/lpar05/IDEA

 Name                      Last modified      Size  Description
 ExtendedEuclidScript.sml  22-Jul-2005 02:52  8.8K  
 Holmakefile               22-Jul-2005 02:52  180   
 JZ-EuclidVerification.pdf 15-Jul-2005 16:01  126K  
 idea.with.axiom           22-Jul-2005 02:52  9.9K  
 ideaMultScript.sml        22-Jul-2005 02:52   19K  
 ideaScript.sml            22-Jul-2005 02:52   10K  
 report.htm                22-Jul-2005 02:52   32K