| Wed, 17 Dec 2008 12:10:38 +0100 |
haftmann |
restructured; circumvent sort problem
|
file |
diff |
annotate
|
| Thu, 04 Dec 2008 14:43:33 +0100 |
haftmann |
cleaned up binding module and related code
|
file |
diff |
annotate
|
| Tue, 07 Oct 2008 16:07:50 +0200 |
haftmann |
arbitrary is undefined
|
file |
diff |
annotate
|
| Mon, 29 Sep 2008 10:58:01 +0200 |
wenzelm |
LocalTheory.exit_global;
|
file |
diff |
annotate
|
| Fri, 26 Sep 2008 09:10:02 +0200 |
haftmann |
removed obsolete name convention "func"
|
file |
diff |
annotate
|
| Thu, 25 Sep 2008 19:15:50 +0200 |
haftmann |
circumvent problem with code redundancy
|
file |
diff |
annotate
|
| Tue, 23 Sep 2008 18:11:42 +0200 |
haftmann |
renamed rtype to typerep
|
file |
diff |
annotate
|
| Mon, 22 Sep 2008 13:56:04 +0200 |
haftmann |
generic quickcheck framework
|
file |
diff |
annotate
|
| Mon, 22 Sep 2008 08:00:26 +0200 |
haftmann |
some steps towards generic quickcheck framework
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 09:21:24 +0200 |
haftmann |
evaluation using code generator
|
file |
diff |
annotate
|
| Sat, 06 Sep 2008 14:02:36 +0200 |
haftmann |
dropped "run" marker in monad syntax
|
file |
diff |
annotate
|
| Tue, 02 Sep 2008 16:55:33 +0200 |
wenzelm |
type Attrib.binding abbreviates Name.binding without attributes;
|
file |
diff |
annotate
|
| Tue, 02 Sep 2008 14:10:45 +0200 |
wenzelm |
explicit type Name.binding for higher-specification elements;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 22:09:20 +0200 |
haftmann |
restructured and split code serializer module
|
file |
diff |
annotate
|
| Thu, 14 Aug 2008 16:52:46 +0200 |
wenzelm |
moved basic thm operations from structure PureThy to Thm (cf. more_thm.ML);
|
file |
diff |
annotate
|
| Fri, 25 Jul 2008 12:03:36 +0200 |
haftmann |
dropped PureThy.note; added PureThy.add_thm
|
file |
diff |
annotate
|
| Tue, 10 Jun 2008 15:30:06 +0200 |
haftmann |
major refactorings in code generator modules
|
file |
diff |
annotate
|
| Sun, 18 May 2008 15:04:27 +0200 |
wenzelm |
Syntax.string_of_term with proper context;
|
file |
diff |
annotate
|
| Wed, 07 May 2008 10:59:44 +0200 |
berghofe |
Removed instantiation for set.
|
file |
diff |
annotate
|
| Wed, 09 Apr 2008 17:46:17 +0200 |
haftmann |
renamed mbind to scomp
|
file |
diff |
annotate
|
| Wed, 19 Mar 2008 07:20:29 +0100 |
haftmann |
quickcheck with term reconstruction
|
file |
diff |
annotate
|
| Sat, 15 Mar 2008 08:11:16 +0100 |
haftmann |
(continued)
|
file |
diff |
annotate
|
| Fri, 14 Mar 2008 08:52:52 +0100 |
haftmann |
added combinator for interpretation of construction of datatype
|
file |
diff |
annotate
|
| Wed, 12 Mar 2008 19:38:14 +0100 |
haftmann |
separated Random.thy from Quickcheck.thy
|
file |
diff |
annotate
|