| Wed, 06 Nov 2013 13:00:45 +0100 | blanchet | removed dead code | changeset | files |
| Wed, 06 Nov 2013 13:00:16 +0100 | blanchet | update docs | changeset | files |
| Wed, 06 Nov 2013 12:47:50 +0100 | blanchet | take out possibility of moving corecursive calls past constructors -- this doesn't work in the general case | changeset | files |
| Wed, 06 Nov 2013 12:01:48 +0100 | blanchet | took out loopy code | changeset | files |
| Wed, 06 Nov 2013 10:35:30 +0100 | blanchet | take out even less aggressive generalization -- it's still too aggressive | changeset | files |
| Wed, 06 Nov 2013 01:57:22 +0100 | blanchet | reverted too aggressive 7cb8442298f0 | changeset | files |
| Wed, 06 Nov 2013 01:06:01 +0100 | blanchet | generalize more aggressively | changeset | files |