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/Quickcheck_Narrowing.thy
Tue, 14 Jun 2011 08:30:18 +0200 bulwahn removed comment and declaration after issue has been resolved (cf. e83695ea0e0a) file | diff | annotate
Fri, 10 Jun 2011 15:42:21 +0200 bulwahn adding another narrowing strategy for integers file | diff | annotate
Thu, 09 Jun 2011 14:04:38 +0200 hoelzl fixed document generation for HOL file | diff | annotate
Thu, 09 Jun 2011 09:07:13 +0200 bulwahn fixing code generation test file | diff | annotate
Thu, 09 Jun 2011 08:32:22 +0200 bulwahn removing char setup file | diff | annotate
Thu, 09 Jun 2011 08:32:21 +0200 bulwahn removing unneccessary manual instantiations and dead definitions; hiding more constants and facts file | diff | annotate
Thu, 09 Jun 2011 08:32:19 +0200 bulwahn adding a nicer error message for quickcheck_narrowing; hiding fact empty_def file | diff | annotate
Thu, 09 Jun 2011 08:32:18 +0200 bulwahn adapting Quickcheck_Narrowing: adding setup for characters; correcting import statement file | diff | annotate
Thu, 09 Jun 2011 08:32:14 +0200 bulwahn moving Quickcheck_Narrowing from Library to base directory file | diff | annotate | base
less more (0) tip
isabelle