Fri, 06 Feb 2009 15:15:32 +0100 | haftmann | session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there | file | diff | annotate |
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 |