| Mon, 06 Jan 2014 19:55:01 +0100 |
dropped legacy
|
file | diff | annotate |
| Fri, 29 Nov 2013 08:26:45 +0100 |
set_comprehension_pointfree simproc causes to many surprises if enabled by default
|
file | diff | annotate |
| Sat, 20 Oct 2012 09:09:37 +0200 |
adding another test case for the set_comprehension_simproc to the theory in HOL/ex
|
file | diff | annotate |
| Wed, 17 Oct 2012 14:13:57 +0200 |
set_comprehension_pointfree simproc now handles the complicated test case; tuned
|
file | diff | annotate |
| Tue, 16 Oct 2012 13:57:08 +0200 |
adding test cases for f x y : S patterns in set_comprehension_pointfree simproc
|
file | diff | annotate |
| Sun, 14 Oct 2012 19:16:39 +0200 |
adding further test cases for the set_comprehension_pointfree simproc
|
file | diff | annotate |
| Sun, 14 Oct 2012 19:16:33 +0200 |
adding further test cases to check new functionality of the simproc; strengthened test cases to check the success of the simproc more faithfully
|
file | diff | annotate |
| Wed, 10 Oct 2012 10:48:17 +0200 |
test case for set_comprehension_pointfree simproc succeeds now
|
file | diff | annotate |
| Wed, 10 Oct 2012 10:41:18 +0200 |
adding some example that motivates some of the current changes in the set_comprehension_pointfree simproc
|
file | diff | annotate |
| Mon, 02 Jul 2012 11:39:24 +0200 |
adding a challenging example in the examples file
|
file | diff | annotate |
| Wed, 20 Jun 2012 16:54:08 +0200 |
Integrated set comprehension pointfree simproc.
|
file | diff | annotate |
| Tue, 19 Jun 2012 11:16:41 +0200 |
Improved tactic for rewriting set comprehensions into pointfree form.
|
file | diff | annotate |
| Fri, 01 Jun 2012 12:45:22 +0200 |
tuned header;
|
file | diff | annotate |
| Mon, 28 May 2012 02:18:46 +0200 |
adding incompleted simproc to rewrite set comprehensions into pointfree expressions on sets
|
file | diff | annotate |