thys/Re1.thy
2015-12-17 Christian Urban updated
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 merged
2015-02-14 Christian Urban updated
2015-02-11 Christian Urban updated
2015-02-09 Christian Urban updated some rules
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-21 Christian Urban updated
2015-01-19 Christian Urban added a function for calculating values
2014-10-06 Christian Urban some small changes
2014-09-22 fahadausaf Delete POSIX_ALT2
2014-09-19 Christian Urban changed theory name
2014-09-19 Christian Urban added test version
less more (0) tip