Mon, 25 Aug 2014 08:45:32 +0200 | Andreas Lochbihler | merged | changeset | files |
Fri, 22 Aug 2014 14:39:40 +0200 | Andreas Lochbihler | add code equation for term_of on integer | changeset | files |
Fri, 22 Aug 2014 17:35:48 +0200 | blanchet | added lemmas contributed by Rene Thiemann | changeset | files |