| 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 |
| Wed, 12 May 2010 23:54:04 +0200 | boehmes | layered SMT setup, adapted SMT clients, added further tests, made Z3 proof abstraction configurable | file | diff | annotate |
| Tue, 11 May 2010 19:21:05 +0200 | hoelzl | Removed usage of normalizating locales. | file | diff | annotate |
| Sun, 09 May 2010 22:51:11 -0700 | huffman | avoid using real-specific versions of generic lemmas | file | diff | annotate |
| Fri, 07 May 2010 09:59:24 +0200 | haftmann | prefix normalizing replaces class_semiring | file | diff | annotate |
| Wed, 28 Apr 2010 22:20:59 -0700 | huffman | remove redundant lemma vector_dist_norm | file | diff | annotate |
| Mon, 26 Apr 2010 09:45:22 -0700 | huffman | merged | file | diff | annotate |