author | boehmes |
Fri, 18 Sep 2009 18:13:19 +0200 | |
changeset 32618 | 42865636d006 |
child 33615 | 261abc2e3155 |
permissions | -rw-r--r-- |
32618
42865636d006
added new method "smt": an oracle-based connection to external SMT solvers
boehmes
parents:
diff
changeset
|
1 |
use_thy "SMT"; |