Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Tools/ATP_Manager/atp_minimal.ML
Wed, 14 Oct 2009 23:44:37 +0200
wenzelm
modernized structure names;
file
|
diff
|
annotate
Sat, 03 Oct 2009 12:05:40 +0200
boehmes
re-organized signature of AtpWrapper structure: records instead of unnamed parameters and return values,
file
|
diff
|
annotate
Tue, 29 Sep 2009 16:24:36 +0200
wenzelm
explicit indication of Unsynchronized.ref;
file
|
diff
|
annotate
Mon, 14 Sep 2009 19:30:48 +0200
nipkow
count number of iterations required for minimization (and fixed bug: minimization was always called)
file
|
diff
|
annotate
Mon, 07 Sep 2009 22:08:05 +0200
nipkow
Fixed "minimal" to cover the case that "p []" holds (excluded in the article by Bradley & Manna)
file
|
diff
|
annotate
Sat, 05 Sep 2009 22:01:31 +0200
boehmes
added signature ATP_MINIMAL,
file
|
diff
|
annotate
Thu, 03 Sep 2009 17:55:31 +0200
boehmes
added runtime information to sledgehammer
file
|
diff
|
annotate
Tue, 04 Aug 2009 19:20:24 +0200
wenzelm
src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;
file
|
diff
|
annotate
|
base
less
more
(0)
tip