2016-02-25 Christian Urban more cleaning and moving unnessary stuff to the end
2016-02-25 Christian Urban updated
2016-02-24 Christian Urban updated theories and cleaned them up
2016-02-15 Christian Urban added some slides
2016-02-13 Christian Urban updated
2016-02-10 Christian Urban fixed inj function
2016-02-08 Christian Urban strengthened PMatch to get determ
2016-02-08 Christian Urban updated
2016-02-08 Christian Urban updated
2016-02-07 Christian Urban updated
2016-02-05 Christian Urban added new version of paper by sulzmann
2016-02-05 Christian Urban started a paper and moved cruft to Attic
2016-02-02 Christian Urban proved also finiteness of non-problematic values
2016-02-01 Christian Urban extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
2016-02-01 Christian Urban ReStar changes
2016-02-01 Christian Urban more lemmas for star
2016-01-30 Christian Urban proved some lemmas about star and mkeps (injval etc not yet done)
2016-01-21 Christian Urban added theory for star
2016-01-14 Christian Urban updated
2016-01-06 Christian Urban added type inference paper and updated Re.thy
2015-12-19 Christian Urban added a proof about Values and PMatch
2015-12-18 Christian Urban updated
2015-12-18 Christian Urban the algorithm is correct according to the Type Inference definition
2015-12-18 Christian Urban added POSIX relation from the Type-Inference paper
2015-12-17 Christian Urban cleaned up version of Re1
2015-12-17 Christian Urban updated
2015-07-06 Christian Urban added phd thesis
2015-06-10 Christian Urban added frisch / cardelli paper
2015-06-08 Christian Urban updated the Isabelle theories with the totality proof
2015-05-25 Christian Urban proved some basic properties (totality and trichonomity) for the orderings
2015-04-25 Christian Urban added an equivalent slightly simpler POSIX definition
2015-04-10 Christian Urban updated
2015-03-13 Christian Urban updated from the session today
2015-03-09 Christian Urban solved one case
2015-03-04 Christian Urban updated R1 and notes
2015-02-26 Christian Urban added a section about a nullable proof
2015-02-26 fahad merges
2015-02-26 fahad deleted file
2015-02-26 fahad merged
2015-02-26 fahad merged
2015-02-14 Christian Urban updated
2015-02-12 fahad ch3
2015-02-11 Christian Urban deleted file
2015-02-11 Christian Urban updated
2015-02-09 Christian Urban updated some rules
2015-02-09 fahad test
2015-01-31 Christian Urban added a preliminary part describing the main theorem
2015-01-30 Christian Urban added line numbers
2015-01-30 Christian Urban updated more
2015-01-30 Christian Urban updated
2015-01-29 Christian Urban updated
2015-01-29 Christian Urban added some notes (still incomplete)
2015-01-29 fahad no changes
2015-01-29 Christian Urban added some lemmas, attempted others
2015-01-26 fahad test
2015-01-26 fahad test
2015-01-26 Fahad Ausaf fahad's experiments
2015-01-21 Christian Urban updated
2015-01-19 Christian Urban added a function for calculating values
2014-12-26 Christian Urban added a paper to Literature
(0) -100 -60 +60 +100 +300 tip