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 |
2012-01-15 | Christian Urban | tuned | changeset | files |
2012-01-15 | Christian Urban | tuned | changeset | files |
2012-01-15 | Christian Urban | tuned | changeset | files |
2012-01-15 | Christian Urban | updated | changeset | files |
2012-01-11 | Christian Urban | updated | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2012-01-06 | Christian Urban | tuned | changeset | files |
2011-12-29 | Christian Urban | tuned | changeset | files |
2011-12-29 | Christian Urban | tuned | changeset | files |
2011-12-29 | Christian Urban | typo | changeset | files |
2011-12-28 | Christian Urban | added LMCS | changeset | files |
2011-12-25 | Christian Urban | tuned | changeset | files |
2011-12-25 | Christian Urban | added pointers to gameplayers | changeset | files |