progs/scala/re.scala
2019-02-20 Christian Urban added size bounds for partial derivatives
2016-09-21 Christian Urban updated
2016-03-19 Christian Urban updated implementations
2015-12-17 Christian Urban updated
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-10 Christian Urban updated
2015-03-13 Christian Urban updated from the session today
2015-03-09 Christian Urban solved one case
2015-02-14 Christian Urban updated
2015-02-09 Christian Urban updated some rules
2015-01-21 Christian Urban updated
2015-01-19 Christian Urban added a function for calculating values
2014-11-06 Christian Urban updated
2014-11-02 Christian Urban slightly polished the scala file re.scala
2014-10-28 Christian Urban added a file for calculating all answers...still incomplete
2014-09-25 Christian Urban fixed the scala implementation
2014-08-15 Christian Urban added all toy implementations
less more (0) tip