Mercurial Mercurial > wneuper > isa / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
Mon, 18 Jul 2011 10:34:21 +0200parametrized test_term functions in quickcheck
changeset
bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 44747
parametrized test_term functions in quickcheck

Mon, 18 Jul 2011 10:34:21 +0200adding random, exhaustive and SML quickcheck as testers
changeset
bulwahn [Mon, 18 Jul 2011 10:34:21 +0200] rev 44746
adding random, exhaustive and SML quickcheck as testers

Sun, 17 Jul 2011 22:25:14 +0200more on complement
changeset
haftmann [Sun, 17 Jul 2011 22:25:14 +0200] rev 44745
more on complement

Sun, 17 Jul 2011 22:24:08 +0200more on complement
changeset
haftmann [Sun, 17 Jul 2011 22:24:08 +0200] rev 44744
more on complement

Sun, 17 Jul 2011 20:57:56 +0200more consistent theorem names
changeset
haftmann [Sun, 17 Jul 2011 20:57:56 +0200] rev 44743
more consistent theorem names

Sun, 17 Jul 2011 20:46:51 +0200more lemmas about SUP
changeset
haftmann [Sun, 17 Jul 2011 20:46:51 +0200] rev 44742
more lemmas about SUP

Sun, 17 Jul 2011 20:29:54 +0200structuring duals together
changeset
haftmann [Sun, 17 Jul 2011 20:29:54 +0200] rev 44741
structuring duals together

Sun, 17 Jul 2011 20:23:39 +0200merged
changeset
haftmann [Sun, 17 Jul 2011 20:23:39 +0200] rev 44740
merged

Sun, 17 Jul 2011 20:23:33 +0200more lemmas about Sup
changeset
haftmann [Sun, 17 Jul 2011 20:23:33 +0200] rev 44739
more lemmas about Sup

Sun, 17 Jul 2011 19:55:17 +0200generalized INT_anti_mono
changeset
haftmann [Sun, 17 Jul 2011 19:55:17 +0200] rev 44738
generalized INT_anti_mono

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
wneuper/isa