Mercurial Mercurial > hg > nominal2 / 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.
Nominal/Ex/SFT/Consts.thy
Mon, 19 May 2014 16:45:46 +0100 Christian Urban changed nominal_primrec to nominal_function and termination to nominal_termination file | diff | annotate
Mon, 19 May 2014 12:45:26 +0100 Christian Urban changed nominal_primrec into the more appropriate nominal_function file | diff | annotate
Thu, 24 May 2012 10:17:32 +0200 Cezary Kaliszyk Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle file | diff | annotate
Wed, 21 Dec 2011 15:47:42 +0900 Cezary Kaliszyk SFT/LambdaTerms: rename 'var' to 'name' to match Lambda. file | diff | annotate
Wed, 21 Dec 2011 15:43:58 +0900 Cezary Kaliszyk SFT: Rename Lambda to LambdaTerms, rename constants to match Lambda, remove smt proofs. file | diff | annotate
Sun, 24 Jul 2011 07:54:54 +0200 Cezary Kaliszyk update to 'termination (eqvt)'. file | diff | annotate
Fri, 24 Jun 2011 11:18:18 +0900 Cezary Kaliszyk Make examples work with non-precompiled image file | diff | annotate
less more (0) tip
nominal2