2011-02-14 | urbanc | updated paper | changeset | files |
2011-02-14 | urbanc | updated | changeset | files |
2011-02-13 | zhang | More into the second direction | changeset | files |
2011-02-11 | urbanc | included comments by Xingyuan | changeset | files |
2011-02-11 | urbanc | slightly streamlined the proof | changeset | files |
2011-02-10 | urbanc | simplified a bit the proof | changeset | files |
2011-02-10 | urbanc | more things | changeset | files |
2011-02-10 | urbanc | latest on the paper | changeset | files |
2011-02-10 | urbanc | more on the paper | changeset | files |
2011-02-10 | urbanc | more on paper | changeset | files |
2011-02-09 | urbanc | added Xingyuan's changes with the while combinator | changeset | files |
2011-02-09 | urbanc | added an example | changeset | files |
2011-02-09 | urbanc | a bit more on the paper | changeset | files |
2011-02-09 | urbanc | added something about Setalt and folds | changeset | files |
2011-02-09 | urbanc | deleted the non_empty invariant | changeset | files |
Loading... |