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/Nominal2_FSet.thy
2010-04-30
Christian Urban
generalised the fs-instance lemma (not just fsets of atoms are finitely supported, but also fsets of finitely supported elements)
file
|
diff
|
annotate
2010-04-28
Christian Urban
use the more general type-class at_base
file
|
diff
|
annotate
2010-04-22
Christian Urban
moved lemmas from FSet.thy to do with atom to Nominal2_Base, and to do with 'a::at set to Nominal2_Atoms; moved Nominal2_Eqvt.thy one up to be loaded before Nominal2_Atoms
file
|
diff
|
annotate
2010-04-13
Christian Urban
made everything to compile
file
|
diff
|
annotate
2010-04-12
Christian Urban
moved equivariance of map into Nominal2_Eqvt file
file
|
diff
|
annotate
2010-04-11
Christian Urban
tuned
file
|
diff
|
annotate
2010-04-08
Brian Huffman
simplify instance proof
file
|
diff
|
annotate
2010-04-04
Christian Urban
separated general nominal theory into separate folder
file
|
diff
|
annotate
2010-03-27
Cezary Kaliszyk
Remove list_eq notation.
file
|
diff
|
annotate
2010-03-27
Cezary Kaliszyk
Generalize Abs_eq_iff.
file
|
diff
|
annotate
2010-03-22
Cezary Kaliszyk
Strong induction for Type Schemes.
file
|
diff
|
annotate
2010-03-19
Cezary Kaliszyk
Showed the instance: fset::(at) fs
file
|
diff
|
annotate
2010-03-19
Cezary Kaliszyk
The nominal infrastructure for fset. 'fs' missing, but not needed so far.
file
|
diff
|
annotate
less
more
(0)
tip