Sun, 19 Dec 2010 18:55:21 +0100 | boehmes | updated SMT certificates | file | diff | annotate |
Fri, 17 Dec 2010 14:59:06 +0100 | boehmes | updated SMT certificates | file | diff | annotate |
Wed, 15 Dec 2010 10:52:43 +0100 | boehmes | updated SMT certificates | file | diff | annotate |
Tue, 07 Dec 2010 15:44:38 +0100 | boehmes | updated SMT certificates | file | diff | annotate |
Wed, 03 Nov 2010 17:02:53 +0100 | boehmes | updated SMT certificates | file | diff | annotate |
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 |