Sat, 11 Apr 2015 23:28:34 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
Mon, 16 Mar 2015 16:59:59 +0100 | wenzelm | proper headers; | file | diff | annotate |
Fri, 09 Jan 2015 08:36:59 +0100 | haftmann | modernized and more uniform style | file | diff | annotate |
Thu, 30 Oct 2014 11:24:53 +0100 | wenzelm | make SML/NJ more happy; | file | diff | annotate |
Wed, 08 Oct 2014 09:09:12 +0200 | Andreas Lochbihler | move Code_Test to HOL/Library; | file | diff | annotate | base |