2012-05-12 Christian Urban tuned
2012-05-12 Christian Urban added Nominal2-Isabelle2012
2012-05-11 Christian Urban new version
2012-05-09 Christian Urban added new version
2012-05-06 Christian Urban added new version
2012-05-03 Christian Urban added new version
2012-05-02 Christian Urban fixed link
2012-05-01 Christian Urban test
2012-04-29 Christian Urban updated links
2012-04-29 Christian Urban added Unification subdirectory
2012-04-29 Christian Urban updated link
2012-04-23 Christian Urban new version
2012-04-19 Christian Urban updated
2012-04-18 Christian Urban added pdf
2012-04-17 Christian Urban updated paper
2012-04-14 Christian Urban updated
2012-03-15 Christian Urban typo
2012-03-15 Christian Urban typo
2012-03-15 Christian Urban added Cut
2012-03-15 Christian Urban updated
2012-03-15 Christian Urban added phd and prover
2012-03-08 Christian Urban added slides
2012-03-06 Christian Urban new version
2012-02-29 Christian Urban new version
2012-02-28 Christian Urban fixed typo
2012-02-27 Christian Urban updated
2012-02-27 Christian Urban new version of pip
2012-02-18 Christian Urban added pip publication
2012-02-17 Christian Urban new version with multisets
2012-02-14 Christian Urban added link
2012-02-14 Christian Urban added pip
2012-02-10 Christian Urban updated
2012-01-31 Christian Urban tuned
2012-01-31 Christian Urban tuned
2012-01-31 Christian Urban tuned
2012-01-31 Christian Urban merged
2012-01-31 Christian Urban typos by John Wickerson
2012-01-26 Christian Urban tuned
2012-01-21 Christian Urban tuned
2012-01-21 Christian Urban added CU8
2012-01-15 Christian Urban tuned
2012-01-15 Christian Urban tuned
2012-01-15 Christian Urban tuned
2012-01-15 Christian Urban tuned
2012-01-15 Christian Urban updated
2012-01-11 Christian Urban updated
2012-01-06 Christian Urban tuned
2012-01-06 Christian Urban tuned
2012-01-06 Christian Urban tuned
2012-01-06 Christian Urban tuned
2012-01-06 Christian Urban tuned
2012-01-06 Christian Urban tuned
2012-01-06 Christian Urban tuned
2012-01-06 Christian Urban tuned
2011-12-29 Christian Urban tuned
2011-12-29 Christian Urban tuned
2011-12-29 Christian Urban typo
2011-12-28 Christian Urban added LMCS
2011-12-25 Christian Urban tuned
2011-12-25 Christian Urban added pointers to gameplayers
(0) -100 -60 +60 +100 +300 tip