Yices as an Isabelle tactic
Isabelle TeX Makefile
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
userGuide
.gitignore
COPYRIGHT
ISMT.thy
ISSUES
README.md

README.md