2016-06-17 Christian Urban updated
2016-06-16 Christian Urban updated
2016-06-16 Christian Urban updated
2016-06-15 Christian Urban updatd
2016-06-15 Christian Urban updated
2016-06-03 Christian Urban updated
2016-05-26 Christian Urban updated
2016-05-23 Christian Urban updated
2016-05-18 Christian Urban typo
2016-05-18 Christian Urban typo
2016-05-18 Christian Urban updated
2016-05-18 Christian Urban added posix
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-05 Christian Urban updated
2016-05-05 Christian Urban updated
2016-05-05 Christian Urban deleted
2016-05-04 Christian Urban updated
2016-04-10 Christian Urban updated
2016-04-10 Christian Urban updated
2016-04-10 Christian Urban updated
2016-04-07 Christian Urban updated
2016-04-07 Christian Urban updated
2016-04-07 Christian Urban updated
2016-04-07 Christian Urban updated
2016-04-07 Christian Urban updated
2016-04-07 Christian Urban updated
2016-03-31 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban updated
2016-03-30 Christian Urban added Nominal
2016-03-25 Christian Urban updated
2016-03-21 Christian Urban updated
2016-03-20 Christian Urban added Nominal packages
2016-03-15 Christian Urban updated
2016-03-15 Christian Urban updated
2016-03-14 Christian Urban updated
2016-03-13 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-02-15 Christian Urban updated link
2016-02-15 Christian Urban updated
2016-02-15 Christian Urban updated
2015-12-03 Christian Urban updated
2015-11-30 Christian Urban updated
2015-11-21 Christian Urban updatad
2015-11-21 Christian Urban updatad
2015-11-21 Christian Urban updatad
2015-11-21 Christian Urban updated
2015-11-13 Christian Urban update
2015-10-31 Christian Urban updated
2015-10-06 Christian Urban updated
2015-09-02 Christian Urban updated
2015-08-20 Christian Urban updated
2015-08-20 Christian Urban updated
2015-08-20 Christian Urban updated
2015-07-28 Christian Urban updated
2015-07-28 Christian Urban updated
2015-07-10 Christian Urban updated
2015-07-10 Christian Urban updated
2015-07-08 Christian Urban updated
2015-06-21 Christian Urban updated
2015-06-21 Christian Urban updated
2015-06-21 Christian Urban added skolem
2015-06-12 Christian Urban updated
2015-06-12 Christian Urban updated
2015-06-12 Christian Urban updated
2015-04-10 Christian Urban updated
2015-03-02 Christian Urban updated
2015-01-14 Christian Urban updated
2015-03-02 Christian Urban updated
2015-01-14 Christian Urban updated
2015-01-12 Christian Urban updated
2015-01-05 Christian Urban updated
2014-12-25 Christian Urban updated
2014-12-25 Christian Urban updated paper
2014-12-25 Christian Urban updated
2014-12-22 Christian Urban updated
2014-12-12 Christian Urban updated
2014-12-12 Christian Urban updated
2014-12-12 Christian Urban updated
2014-12-12 Christian Urban updated
2014-11-28 Christian Urban updated
2014-11-23 Christian Urban updated
2014-11-17 Christian Urban updated
2014-11-16 Christian Urban updated
2014-11-10 Christian Urban updated
2014-11-10 Christian Urban updated
2014-11-10 Christian Urban updated
2014-11-10 Christian Urban updated
2014-11-09 Christian Urban updated
2014-11-09 Christian Urban updated
2014-11-09 Christian Urban updated
2014-11-09 Christian Urban updated
2014-11-09 Christian Urban updated
2014-11-09 Christian Urban updatde
2014-11-09 Christian Urban updated
2014-11-09 Christian Urban updated
2014-11-09 Christian Urban updated
2014-10-19 Christian Urban updated cookbook
2014-10-01 Christian Urban updated
2014-09-21 Christian Urban updated
2014-09-21 Christian Urban updated
2014-09-21 Christian Urban updated
2014-09-20 Christian Urban updated
2014-09-20 Christian Urban updated
2014-09-20 Christian Urban updated
2014-09-20 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-19 Christian Urban updated
2014-09-05 Christian Urban updated
2014-09-03 Christian Urban updated
2014-09-02 Christian Urban updated
2014-09-02 Christian Urban updated
2014-09-02 Christian Urban updated
2014-09-02 Christian Urban updated
2014-08-21 Christian Urban tuned
2014-08-21 Christian Urban delete fax
2014-08-10 Christian Urban tuned
2014-08-10 Christian Urban updated
2014-08-06 Christian Urban updated
2014-08-05 Christian Urban added comment
2014-08-02 Christian Urban added
2014-07-28 Christian Urban added bsc-prjs
2014-07-15 Christian Urban updated
2014-07-15 Christian Urban updated
2014-07-13 Christian Urban updated
2014-07-08 Christian Urban updated mc
2014-07-08 Christian Urban updated mc
2014-07-08 Christian Urban updated mc
2014-07-08 Christian Urban updated mc
2014-07-06 Christian Urban updated mc
2014-07-06 Christian Urban updated mc
2014-07-06 Christian Urban updated mc
2014-07-06 Christian Urban added mc link
2014-06-21 Christian Urban typos
2014-06-21 Christian Urban teaching
2014-06-21 Christian Urban teaching
2014-06-21 Christian Urban typo
2014-06-21 Christian Urban added travelling
2014-06-12 Christian Urban new version
2014-06-09 Christian Urban added
2014-06-04 Christian Urban updated
2014-06-02 Christian Urban updated marks
2014-04-29 Christian Urban added
2014-04-17 Christian Urban added some results
2014-04-09 Christian Urban updated
2014-03-25 Christian Urban added
2014-03-24 Christian Urban added
2014-03-16 Christian Urban added
2014-03-04 Christian Urban new version
2014-03-04 Christian Urban new version
2014-03-04 Christian Urban new version
2014-03-04 Christian Urban added
2014-03-04 Christian Urban added
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
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
2011-12-21 Christian Urban tuned
2011-12-20 Christian Urban added
2011-12-19 Christian Urban updated
2011-12-15 Christian Urban updated
2011-12-15 Christian Urban tuned
2011-12-12 Christian Urban typo
2011-12-10 Christian Urban tuned
2011-12-10 Christian Urban updated cpp
2011-12-06 Christian Urban tuned
2011-12-06 Christian Urban tuned
2011-12-03 Christian Urban tuned
2011-12-02 Christian Urban added
2011-12-02 Christian Urban improved
2011-12-01 Christian Urban added initial version of projects
2011-11-20 Christian Urban added
2011-11-16 Christian Urban added
2011-11-16 Christian Urban added
2011-11-03 Christian Urban tuned pics
2011-11-01 Christian Urban typo
2011-11-01 Christian Urban updated
2011-10-31 Christian Urban tuned
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added
2011-10-30 Christian Urban added cookbook
2011-10-28 Christian Urban changed dcs to inf
2011-10-28 Christian Urban added google track
2011-10-25 Christian Urban corrected email
2011-10-23 Christian Urban tuned
2011-10-23 Christian Urban tuned
2011-10-23 Christian Urban tuned
2011-10-23 Christian Urban tuned
2011-10-23 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban tuned
2011-10-22 Christian Urban added
2011-10-22 Christian Urban changed address
2011-10-22 Christian Urban initial real
2011-10-22 Christian Urban test 2
2011-10-22 Christian Urban init test
(0) tip