2014-03-03 Christian Urban added new version
2014-01-22 Christian Urban updated
2014-01-22 Christian Urban added new version
2014-01-06 Christian Urban added
2013-12-29 Christian Urban added students
2013-12-15 Christian Urban added
2013-12-14 Christian Urban added link
2013-11-23 Christian Urban updated
2013-11-21 Christian Urban added
2013-11-19 Christian Urban updated
2013-11-10 Christian Urban updated
2013-11-10 Christian Urban added
2013-11-10 Christian Urban added
2013-11-10 Christian Urban added new version of rexp
2013-10-18 Christian Urban added Nominal-2013-1
2013-10-09 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban added
2013-10-07 Christian Urban fixed dates
2013-10-02 Christian Urban added
2013-10-02 Christian Urban added
2013-10-02 Christian Urban added QMUL
2013-10-01 Christian Urban added
2013-09-27 Christian Urban updated links
2013-09-26 Christian Urban added data
2013-09-26 Christian Urban links
2013-09-26 Christian Urban links
2013-09-24 Christian Urban added
2013-09-23 Christian Urban added project
2013-09-20 Christian Urban updated
2013-09-20 Christian Urban added new paper
2013-09-19 Christian Urban added
2013-09-19 Christian Urban added
2013-09-19 Christian Urban added
2013-09-19 Christian Urban added
2013-09-19 Christian Urban added
2013-09-19 Christian Urban added google link
2013-09-18 Christian Urban typo
2013-09-18 Christian Urban added projects
2013-09-17 Christian Urban new version
2013-09-12 Christian Urban added
2013-09-08 Christian Urban added students
2013-09-03 Christian Urban typo
2013-09-03 Christian Urban typo
2013-09-03 Christian Urban typo
2013-09-03 Christian Urban added springer links
2013-09-02 Christian Urban typo
2013-09-02 Christian Urban added new travelling
2013-08-26 Christian Urban added CPP
2013-08-07 Christian Urban added to teaching
2013-07-31 Christian Urban typo
2013-07-31 Christian Urban added
2013-06-20 Christian Urban typo
2013-06-19 Christian Urban added Mahyar
2013-06-15 Christian Urban time
2013-06-15 Christian Urban time
2013-06-15 Christian Urban time
2013-06-15 Christian Urban timestamps
2013-06-15 Christian Urban tuned
2013-06-15 Christian Urban changed
2013-06-04 Christian Urban added
2013-06-04 Christian Urban updated
2013-05-30 Christian Urban updated ecnu
2013-05-27 Christian Urban updated
2013-05-18 Christian Urban updated
2013-04-22 Christian Urban added
2013-04-22 Christian Urban test
2013-04-21 Christian Urban added
2013-04-18 Christian Urban tuned
2013-04-18 Christian Urban tuned
2013-04-18 Christian Urban tuned
2013-04-15 Christian Urban updated
2013-03-28 Christian Urban tuned
2013-03-28 Christian Urban tuned
2013-03-27 Christian Urban added Tjark
2013-03-27 Christian Urban new version
2013-03-12 Christian Urban tuned
2013-03-07 Christian Urban tuned
2013-02-27 Christian Urban typo
2013-02-22 Christian Urban tuned
2013-02-22 Christian Urban added examinations
2013-02-19 Christian Urban updated tm.pdf
2013-02-18 Christian Urban tuned
2013-02-17 Christian Urban added former postdocs
2013-02-13 Christian Urban added tm paper
2012-12-22 Christian Urban added
2012-12-22 Christian Urban typo
2012-12-22 Christian Urban typos
2012-12-20 Christian Urban dded
2012-12-03 Christian Urban updated
2012-12-03 Christian Urban tuned
2012-12-03 Christian Urban added dates
2012-11-18 Christian Urban tuned
2012-11-17 Christian Urban tuned
2012-11-17 Christian Urban updated
2012-11-17 Christian Urban updated
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban tuned
2012-11-06 Christian Urban added
2012-11-04 Christian Urban added
2012-10-19 Christian Urban tuned
2012-10-01 Christian Urban typo
2012-09-24 Christian Urban tuned
2012-09-24 Christian Urban tuned
2012-09-24 Christian Urban tuned
2012-09-24 Christian Urban added polls
2012-09-20 Christian Urban tuned
2012-09-14 Christian Urban tuned
2012-09-13 Christian Urban tuned
2012-09-12 Christian Urban tuned
2012-09-12 Christian Urban tuned
2012-09-11 Christian Urban added project
2012-09-10 Christian Urban added project
2012-09-06 Christian Urban tuned
2012-09-06 Christian Urban tuned
2012-09-05 Christian Urban added comment
2012-08-31 Christian Urban tuned
2012-08-29 Christian Urban tuned
2012-08-27 Christian Urban tuned
2012-08-26 Christian Urban tuned
2012-08-26 Christian Urban tuned
2012-08-21 Christian Urban added
2012-08-19 Christian Urban tuned
2012-08-15 Christian Urban tuned
2012-08-04 Christian Urban added authors
2012-08-01 Christian Urban added mphil
2012-07-08 Christian Urban updated
2012-06-29 Christian Urban added links
2012-06-21 Christian Urban updated
2012-06-21 Christian Urban updated
2012-06-12 Christian Urban updated
2012-06-12 Christian Urban updated
2012-06-12 Christian Urban updated
2012-06-12 Christian Urban added link to sudoku
2012-05-24 Christian Urban updated
2012-05-14 Christian Urban new version
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
(0) -192 +192 tip