ISMT is largely obsoleted by the builtin SMT tactic in Isabelle, and is only kept here for historical purposes.
See here: http://isabelle.in.tum.de/website-Isabelle2013/dist/library/HOL/SMT.html
L
ismt
public
1 stars
0 forks
0 issues
Commits
List of commits on branch master.Unverified
a563d993898c23c1b559412dfc51849e51e67ee0update user-doc
LLeventErkok committed 9 years ago
Unverified
8aa6b59d917b58e7cbfa61b37f4e3cd92f747344Makefile for the document
LLeventErkok committed 9 years ago
Unverified
86f7288a39be7093f73c70e53ff340d54df824c7initial import
LLeventErkok committed 9 years ago