| 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 |