| Tue, 30 Jul 2013 15:09:25 +0200 |
wenzelm |
type theory is purely value-oriented;
|
file |
diff |
annotate
|
| Tue, 16 Apr 2013 17:54:14 +0200 |
wenzelm |
proper prolog command-line instead of hashbang, which might switch to invalid executable and thus fail (notably on lxbroy2);
|
file |
diff |
annotate
|
| Fri, 12 Apr 2013 17:56:51 +0200 |
wenzelm |
actually fail on prolog errors -- such as swipl startup failure due to missing shared libraries -- assuming it normally produces clean return code 0;
|
file |
diff |
annotate
|
| Thu, 28 Feb 2013 16:54:52 +0100 |
wenzelm |
just one HOLogic.Trueprop_conv, with regular exception CTERM;
|
file |
diff |
annotate
|
| Thu, 14 Feb 2013 15:27:10 +0100 |
haftmann |
reform of predicate compiler / quickcheck theories:
|
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
|
| Thu, 23 Feb 2012 15:49:40 +0100 |
wenzelm |
clarified Graph.restrict (formerly Graph.subgraph) based on public graph operations;
|
file |
diff |
annotate
|
| Sun, 04 Dec 2011 20:05:08 +0100 |
bulwahn |
adding genuine flag to predicate_compile_quickcheck and prolog_quickcheck (cf. 5e46c225370e);
|
file |
diff |
annotate
|
| Thu, 10 Nov 2011 17:28:02 +0100 |
bulwahn |
renewed prolog-quickcheck
|
file |
diff |
annotate
|
| Fri, 21 Oct 2011 10:32:42 +0200 |
bulwahn |
correcting code_prolog
|
file |
diff |
annotate
|
| Wed, 17 Aug 2011 18:05:31 +0200 |
wenzelm |
modernized signature of Term.absfree/absdummy;
|
file |
diff |
annotate
|
| Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
adapting prolog-based tester
|
file |
diff |
annotate
|
| Sat, 16 Jul 2011 20:52:41 +0200 |
wenzelm |
moved bash operations to Isabelle_System (cf. Scala version);
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 21:09:09 +0200 |
bulwahn |
standardized String.concat towards implode (cf. c37a1f29bbc0)
|
file |
diff |
annotate
|