Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
slightly simplified the Foo2 tests and hint at a general lemma
2010-11-26, by Christian Urban
completely different method fro deriving the exhaust lemma
2010-11-26, by Christian Urban
merged
2010-11-26, by Christian Urban
merged
2010-11-25, by Christian Urban
added example from the F-ing paper by Rossberg, Russo and Dreyer
2010-11-24, by Christian Urban
implemented concrete suggestion of 3rd reviewer
2010-11-24, by Christian Urban
missing freshness assumptions
2010-11-26, by Cezary Kaliszyk
foo2 strong induction
2010-11-25, by Cezary Kaliszyk
foo2 full exhausts
2010-11-24, by Cezary Kaliszyk
Foo2 strong_exhaust for first variable.
2010-11-24, by Cezary Kaliszyk
single rename in let2
2010-11-22, by Cezary Kaliszyk
current isabelle
2010-11-22, by Cezary Kaliszyk
added example Foo2.thy
2010-11-21, by Christian Urban
tuned example
2010-11-15, by Christian Urban
proved that bn functions return a finite set
2010-11-15, by Christian Urban
added a test for the various shallow binders
2010-11-15, by Christian Urban
fixed bug in fv function where a shallow binder binds lists of names
2010-11-15, by Christian Urban
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
2010-11-14, by Christian Urban
deleted special Nominal2_FSet theory
2010-11-14, by Christian Urban
moved rest of the lemmas from Nominal2_FSet to the TypeScheme example
2010-11-14, by Christian Urban
moved most material fron Nominal2_FSet into the Nominal_Base theory
2010-11-14, by Christian Urban
tuned example
2010-11-14, by Christian Urban
lifted permute_bn simp rules
2010-11-14, by Christian Urban
lifted permute_bn constants
2010-11-13, by Christian Urban
respectfulness for permute_bn functions
2010-11-13, by Christian Urban
automated permute_bn functions (raw ones first)
2010-11-12, by Christian Urban
adapted to changes by Florian on the quotient package and removed local fix for function package
2010-11-10, by Christian Urban
expanded the paper by uncommenting the comments and adding the appendix
2010-11-10, by Christian Urban
fixed locally the problem with the function package; all tests work again
2010-11-07, by Christian Urban
added a test about subtyping; disabled two tests, because of problem with function package
2010-11-06, by Christian Urban
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
tip