Wed, 28 Sep 2005 18:50:42 +0200 | webertj | pointer to HOL/ex/SAT_Examples.thy added | file | diff | annotate |
Wed, 28 Sep 2005 11:50:13 +0200 | wenzelm | revert 'defs' advertisement; | file | diff | annotate |
Tue, 27 Sep 2005 17:24:27 +0200 | wenzelm | more details about incomplete 'defs'; | file | diff | annotate |
Tue, 27 Sep 2005 11:27:07 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 27 Sep 2005 11:03:38 +0200 | berghofe | Added entries for code_module, code_library, and value. | file | diff | annotate |
Sun, 25 Sep 2005 20:24:23 +0200 | wenzelm | * Hyperreal: A theory of Taylor series. | file | diff | annotate |
Fri, 23 Sep 2005 23:28:59 +0200 | webertj | new sat tactic | file | diff | annotate |