Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -10 -8 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/Rsp.thy
Sat, 27 Mar 2010 13:50:59 +0100 Cezary Kaliszyk Get lifted types information from the quotient package. file | diff | annotate
Sat, 27 Mar 2010 08:42:07 +0100 Cezary Kaliszyk New compose lemmas. Reverted alpha_gen sym/trans changes. Equivp for alpha_res should work now. file | diff | annotate
Sat, 27 Mar 2010 08:17:43 +0100 Cezary Kaliszyk Initial proof modifications for alpha_res file | diff | annotate
Fri, 26 Mar 2010 16:20:39 +0100 Cezary Kaliszyk Removed remaining cheats + some cleaning. file | diff | annotate
Fri, 26 Mar 2010 10:07:26 +0100 Cezary Kaliszyk Removed another cheat and cleaned the code a bit. file | diff | annotate
Thu, 25 Mar 2010 17:30:46 +0100 Cezary Kaliszyk Gathering things to prove by induction together; removed cheat_bn_eqvt. file | diff | annotate
Wed, 24 Mar 2010 10:49:50 +0100 Cezary Kaliszyk Export all the cheats needed for Core Haskell. file | diff | annotate
Mon, 22 Mar 2010 17:21:27 +0100 Cezary Kaliszyk Got rid of alpha_bn_rsp_cheat. file | diff | annotate
less more (0) -10 -8 tip
nominal2