| Sun, 09 Mar 2014 16:37:56 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 12:43:29 +0100 |
wenzelm |
more rigid type_name demands, based on educated guesses about the tools involved here;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 12:10:19 +0100 |
wenzelm |
tuned signature -- more uniform check_type_name/read_type_name;
|
file |
diff |
annotate
|
| Fri, 16 Mar 2012 18:20:12 +0100 |
wenzelm |
outer syntax command definitions based on formal command_spec derived from theory header declarations;
|
file |
diff |
annotate
|
| Thu, 15 Mar 2012 20:07:00 +0100 |
wenzelm |
prefer formally checked @{keyword} parser;
|
file |
diff |
annotate
|
| Tue, 21 Feb 2012 12:20:33 +0100 |
bulwahn |
subtype preprocessing in Quickcheck;
|
file |
diff |
annotate
|
| Tue, 21 Feb 2012 11:25:48 +0100 |
bulwahn |
adding parsing of an optional predicate with quickcheck_generator command
|
file |
diff |
annotate
|
| Wed, 21 Dec 2011 09:21:35 +0100 |
bulwahn |
quickcheck_generator command also creates random generators
|
file |
diff |
annotate
|
| Tue, 20 Dec 2011 17:39:56 +0100 |
bulwahn |
quickcheck generators for abstract types; tuned
|
file |
diff |
annotate
|