| 2012-08-29 | Christian Urban | tuned | changeset | files |
| 2012-08-27 | Christian Urban | tuned | changeset | files |
| 2012-08-26 | Christian Urban | tuned | changeset | files |
| 2012-08-26 | Christian Urban | tuned | changeset | files |
| 2012-08-21 | Christian Urban | added | changeset | files |
| 2012-08-19 | Christian Urban | tuned | changeset | files |
| 2012-08-15 | Christian Urban | tuned | changeset | files |
| 2012-08-04 | Christian Urban | added authors | changeset | files |
| 2012-08-01 | Christian Urban | added mphil | changeset | files |
| 2012-07-08 | Christian Urban | updated | changeset | files |
| 2012-06-29 | Christian Urban | added links | changeset | files |
| 2012-06-21 | Christian Urban | updated | changeset | files |
| 2012-06-21 | Christian Urban | updated | changeset | files |
| 2012-06-12 | Christian Urban | updated | changeset | files |
| 2012-06-12 | Christian Urban | updated | changeset | files |
| 2012-06-12 | Christian Urban | updated | changeset | files |
| 2012-06-12 | Christian Urban | added link to sudoku | changeset | files |
| 2012-05-24 | Christian Urban | updated | changeset | files |
| 2012-05-14 | Christian Urban | new version | changeset | files |
| 2012-05-12 | Christian Urban | tuned | changeset | files |
| 2012-05-12 | Christian Urban | added Nominal2-Isabelle2012 | changeset | files |
| 2012-05-11 | Christian Urban | new version | changeset | files |
| 2012-05-09 | Christian Urban | added new version | changeset | files |
| 2012-05-06 | Christian Urban | added new version | changeset | files |
| 2012-05-03 | Christian Urban | added new version | changeset | files |
| 2012-05-02 | Christian Urban | fixed link | changeset | files |
| 2012-05-01 | Christian Urban | test | changeset | files |
| 2012-04-29 | Christian Urban | updated links | changeset | files |
| 2012-04-29 | Christian Urban | added Unification subdirectory | changeset | files |
| 2012-04-29 | Christian Urban | updated link | changeset | files |
| 2012-04-23 | Christian Urban | new version | changeset | files |
| 2012-04-19 | Christian Urban | updated | changeset | files |
| 2012-04-18 | Christian Urban | added pdf | changeset | files |
| 2012-04-17 | Christian Urban | updated paper | changeset | files |
| 2012-04-14 | Christian Urban | updated | changeset | files |
| 2012-03-15 | Christian Urban | typo | changeset | files |
| 2012-03-15 | Christian Urban | typo | changeset | files |
| 2012-03-15 | Christian Urban | added Cut | changeset | files |
| 2012-03-15 | Christian Urban | updated | changeset | files |
| 2012-03-15 | Christian Urban | added phd and prover | changeset | files |
| 2012-03-08 | Christian Urban | added slides | changeset | files |
| 2012-03-06 | Christian Urban | new version | changeset | files |
| 2012-02-29 | Christian Urban | new version | changeset | files |
| 2012-02-28 | Christian Urban | fixed typo | changeset | files |
| 2012-02-27 | Christian Urban | updated | changeset | files |
| 2012-02-27 | Christian Urban | new version of pip | changeset | files |
| 2012-02-18 | Christian Urban | added pip publication | changeset | files |
| 2012-02-17 | Christian Urban | new version with multisets | changeset | files |
| 2012-02-14 | Christian Urban | added link | changeset | files |
| 2012-02-14 | Christian Urban | added pip | changeset | files |
| 2012-02-10 | Christian Urban | updated | changeset | files |
| 2012-01-31 | Christian Urban | tuned | changeset | files |
| 2012-01-31 | Christian Urban | tuned | changeset | files |
| 2012-01-31 | Christian Urban | tuned | changeset | files |
| 2012-01-31 | Christian Urban | merged | changeset | files |
| 2012-01-31 | Christian Urban | typos by John Wickerson | changeset | files |
| 2012-01-26 | Christian Urban | tuned | changeset | files |
| 2012-01-21 | Christian Urban | tuned | changeset | files |
| 2012-01-21 | Christian Urban | added CU8 | changeset | files |
| 2012-01-15 | Christian Urban | tuned | changeset | files |