Tue, 26 Oct 2010 11:46:19 +0200 | boehmes | changed SMT configuration options; updated SMT certificates | file | diff | annotate |
Mon, 21 Jun 2010 19:33:51 +0200 | hoelzl | Introduce a type class for euclidean spaces, port most lemmas from real^'n to this type class. | file | diff | annotate |
Thu, 27 May 2010 17:09:37 +0200 | boehmes | updated SMT certificates | file | diff | annotate |
Wed, 12 May 2010 23:54:06 +0200 | boehmes | updated SMT certificates | file | diff | annotate |