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 |
Mon, 08 Feb 2010 17:12:32 +0100 | haftmann | tuned spelling | file | diff | annotate |
Mon, 26 Jan 2009 22:14:16 +0100 | haftmann | entry point for Word library now named Word | file | diff | annotate | base |