Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -24 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/Test.thy
2010-03-08 Christian Urban added compat definitions to some examples file | diff | annotate
2010-03-08 Christian Urban deleted comments about "weird" file | diff | annotate
2010-03-08 Cezary Kaliszyk With restricted_nominal=1, exp7 and exp8 work. Not sure about proving bn_rsp there. file | diff | annotate
2010-03-07 Christian Urban merged file | diff | annotate
2010-03-04 Christian Urban merged file | diff | annotate
2010-03-04 Christian Urban merged file | diff | annotate
2010-03-04 Christian Urban more proofs in Abs and work on Core Haskell file | diff | annotate
2010-03-04 Cezary Kaliszyk Lift distinct. file | diff | annotate
2010-03-04 Cezary Kaliszyk Added lifting of pseudo-injectivity, commented out the code again and enabled the weird examples. file | diff | annotate
2010-03-04 Cezary Kaliszyk Lift BV,FV,Permutations and injection :). file | diff | annotate
2010-03-04 Cezary Kaliszyk A version that just leaves the supp/\supp goal. Obviously not true. file | diff | annotate
2010-03-04 Cezary Kaliszyk Prove symp and transp of weird without the supp /\ supp = {} assumption. file | diff | annotate
2010-03-03 Cezary Kaliszyk merge file | diff | annotate
2010-03-03 Cezary Kaliszyk Experiments with proving weird transp file | diff | annotate
2010-03-03 Christian Urban fixed mess in Test.thy file | diff | annotate
2010-03-03 Cezary Kaliszyk Fix eqvt for multiple quantifiers. file | diff | annotate
2010-03-03 Christian Urban only tuned file | diff | annotate
2010-03-03 Christian Urban merged file | diff | annotate
2010-03-03 Christian Urban added ACM style file for ICFP file | diff | annotate
2010-03-03 Cezary Kaliszyk weird eqvt file | diff | annotate
2010-03-02 Christian Urban merged file | diff | annotate
2010-03-02 Christian Urban preliinary test about alpha-weirdo file | diff | annotate
2010-03-02 Christian Urban Another problem with permutations in alpha and possibly also in fv file | diff | annotate
2010-03-02 Christian Urban potential problem with the phd-example, where two permutations are generated, but only one is used file | diff | annotate
less more (0) -24 tip
nominal2