Wed, 27 Feb 2008 14:39:56 +0100 | chaieb | fixed dependencies | file | diff | annotate |
Sun, 22 Jul 2007 17:53:51 +0200 | chaieb | Tuned proof : dlo replaced by ferrack | file | diff | annotate |
Thu, 21 Jun 2007 15:42:07 +0200 | wenzelm | replaced Real/Ferrante-Rackoff tool by generic version in Main HOL; | file | diff | annotate |