| Tue, 07 May 2013 15:20:46 +0200 |
traytel |
do not unfold the definition of the relator as it is not defined in terms of srel anymore
|
changeset |
files
|
| Tue, 07 May 2013 14:47:22 +0200 |
traytel |
tuned
|
changeset |
files
|
| Tue, 07 May 2013 14:22:54 +0200 |
traytel |
got rid of the set based relator---use (binary) predicate based relator instead
|
changeset |
files
|
| Tue, 07 May 2013 11:27:29 +0200 |
blanchet |
tuned names + extended ML signature
|
changeset |
files
|
| Tue, 07 May 2013 10:35:40 +0200 |
nipkow |
merged
|
changeset |
files
|
| Tue, 07 May 2013 10:34:55 +0200 |
nipkow |
tuned name: filter -> constrain (longer but more intuitive)
|
changeset |
files
|
| Tue, 07 May 2013 10:29:30 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Tue, 07 May 2013 10:18:59 +0200 |
blanchet |
imported patch refactor_coiter_constr
|
changeset |
files
|
| Tue, 07 May 2013 03:24:23 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Mon, 06 May 2013 22:49:26 +0200 |
blanchet |
started factoring out coiter construction
|
changeset |
files
|
| Mon, 06 May 2013 21:29:16 +0200 |
blanchet |
rationalize ML signature
|
changeset |
files
|
| Mon, 06 May 2013 21:20:54 +0200 |
blanchet |
factor out construction of iterator
|
changeset |
files
|