author | boehmes |
Tue, 20 Oct 2009 10:11:30 +0200 | |
changeset 33006 | 39f73a59e855 |
permissions | -rw-r--r-- |
boehmes@33006 | 1 |
(benchmark Isabelle |
boehmes@33006 | 2 |
:extrasorts ( T1) |
boehmes@33006 | 3 |
:extrapreds ( |
boehmes@33006 | 4 |
(up_1) |
boehmes@33006 | 5 |
) |
boehmes@33006 | 6 |
:assumption (not (or up_1 (not up_1))) |
boehmes@33006 | 7 |
:formula true |
boehmes@33006 | 8 |
) |