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 |