| Wed, 25 Nov 2009 15:30:03 +0100 | wenzelm | refer to isabelle-release branch; | changeset | files |
| Wed, 25 Nov 2009 15:21:41 +0100 | wenzelm | include HOL-SMT keywords; | changeset | files |
| Wed, 25 Nov 2009 15:04:20 +0100 | wenzelm | tuned affiliation; | changeset | files |
| Wed, 25 Nov 2009 12:31:43 +0100 | boehmes | extended list of HOL-Boogie contributors | changeset | files |
| Wed, 25 Nov 2009 12:30:54 +0100 | boehmes | only add nat/int conversion rules if necessary | changeset | files |
| Wed, 25 Nov 2009 12:29:37 +0100 | boehmes | more generic explosion of options (also accept newlines, etc.) | changeset | files |
| Wed, 25 Nov 2009 12:28:29 +0100 | boehmes | respect "unique" attribute: generate distinctness axioms | changeset | files |
| Tue, 24 Nov 2009 18:36:18 +0100 | blanchet | fixed arity of some empty relations in Nitpick's Kodkod generator; | changeset | files |