| 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
|