| Wed, 14 Sep 2011 10:08:52 -0400 |
hoelzl |
renamed Complete_Lattices lemmas, removed legacy names
|
file |
diff |
annotate
|
| Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
| Sat, 23 Apr 2011 13:00:19 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2011 09:32:50 +0200 |
krauss |
raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics.
|
file |
diff |
annotate
|
| Mon, 28 Mar 2011 17:33:16 +0200 |
krauss |
raised various timeouts to accommodate sluggish SML/NJ
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Thu, 02 Dec 2010 16:39:07 +0100 |
haftmann |
adapted expected value to more idiomatic numeral representation
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 21:17:12 +0200 |
bulwahn |
changing test parameters in examples to get to a result within the global timelimit
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 18:38:59 +0200 |
bulwahn |
updating to new notation in commented examples
|
file |
diff |
annotate
|
| Thu, 30 Sep 2010 15:37:12 +0200 |
bulwahn |
adding example for case expressions
|
file |
diff |
annotate
|
| Wed, 29 Sep 2010 10:33:15 +0200 |
bulwahn |
added test case for predicate arguments in higher-order argument position
|
file |
diff |
annotate
|
| Wed, 29 Sep 2010 10:33:15 +0200 |
bulwahn |
added a test case to Predicate_Compile_Tests
|
file |
diff |
annotate
|
| Tue, 28 Sep 2010 11:59:53 +0200 |
bulwahn |
adding test case for interpretation of arguments that are predicates simply as input
|
file |
diff |
annotate
|
| Tue, 28 Sep 2010 11:59:51 +0200 |
bulwahn |
handling higher-order relations in output terms; improving proof procedure; added test case
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 17:22:44 +0200 |
bulwahn |
moving the preprocessing of introduction rules after the code_pred command; added tuple expansion preprocessing of elimination rule
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 14:50:18 +0200 |
bulwahn |
splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests
|
file |
diff |
annotate
|