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-General/Nominal2_Atoms.thy
2010-05-13
Christian Urban
added flip_eqvt and swap_eqvt to the equivariance lists
file
|
diff
|
annotate
2010-04-28
Christian Urban
deleted left-over code
file
|
diff
|
annotate
2010-04-28
Christian Urban
simpliied and moved the remaining lemmas about the atom-function to Nominal2_Base
file
|
diff
|
annotate
2010-04-27
Christian Urban
moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base
file
|
diff
|
annotate
2010-04-24
Christian Urban
merged
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-07
Christian Urban
my final version of the paper
file
|
diff
|
annotate
2010-04-07
Christian Urban
added an induction principle for permutations; removed add_perm construction
file
|
diff
|
annotate
2010-04-04
Christian Urban
separated general nominal theory into separate folder
file
|
diff
|
annotate
|
base
less
more
(0)
tip