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
.
Pearl-jv/Paper.thy
2011-07-05
Christian Urban
side commment for future use
file
|
diff
|
annotate
2011-06-07
Christian Urban
fixed problem with earlier commit about nominal_function_common; added facility for specifying an invariant - added a definition of frees_set which need a finiteness invariant
file
|
diff
|
annotate
2011-05-13
Christian Urban
misc
file
|
diff
|
annotate
2011-05-09
Christian Urban
more on pearl-paper
file
|
diff
|
annotate
2011-05-04
Christian Urban
more on pearl-paper
file
|
diff
|
annotate
2011-04-28
Christian Urban
added slides for beijing
file
|
diff
|
annotate
2011-04-21
Christian Urban
more to the pearl paper
file
|
diff
|
annotate
2011-04-10
Christian Urban
more paper
file
|
diff
|
annotate
2011-04-09
Christian Urban
more paper
file
|
diff
|
annotate
2011-04-09
Christian Urban
more on the paper
file
|
diff
|
annotate
2011-04-08
Christian Urban
tuned paper
file
|
diff
|
annotate
2011-04-08
Christian Urban
tuned paper
file
|
diff
|
annotate
2011-04-08
Christian Urban
typo
file
|
diff
|
annotate
2011-04-08
Christian Urban
more on paper
file
|
diff
|
annotate
2011-03-16
Christian Urban
precise path to LaTeXsugar
file
|
diff
|
annotate
2011-03-16
Christian Urban
a lit bit more on the pearl-jv paper
file
|
diff
|
annotate
2011-03-14
Christian Urban
more on the pearl paper
file
|
diff
|
annotate
2011-03-11
Christian Urban
more on the paper
file
|
diff
|
annotate
2011-03-08
Christian Urban
more on the pearl paper
file
|
diff
|
annotate
2011-03-02
Christian Urban
updated pearl papers
file
|
diff
|
annotate
2011-02-28
Christian Urban
included old test cases for perm_simp into ROOT.ML file
file
|
diff
|
annotate
2010-11-14
Christian Urban
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
file
|
diff
|
annotate
2010-10-13
Christian Urban
more on the pearl paper
file
|
diff
|
annotate
2010-10-12
Christian Urban
added a section about abstractions
file
|
diff
|
annotate
2010-10-12
Christian Urban
tiny work on the pearl paper
file
|
diff
|
annotate
2010-09-03
Christian Urban
moved everything out of Nominal_Supp
file
|
diff
|
annotate
2010-09-03
Christian Urban
got rid of Nominal_Atoms (folded into Nominal2_Base)
file
|
diff
|
annotate
2010-09-03
Christian Urban
cleaned a bit various thy-files in Nominal-General
file
|
diff
|
annotate
2010-07-25
Christian Urban
added paper by james; some minor cleaning
file
|
diff
|
annotate
2010-05-12
Christian Urban
properly exported defined bn-functions
file
|
diff
|
annotate
2010-05-05
Christian Urban
a bit mor on the pearl journal paper
file
|
diff
|
annotate
2010-05-04
Christian Urban
some preliminary changes to the pearl-jv paper
file
|
diff
|
annotate
2010-04-30
Christian Urban
replaced hide by the new hide_const
file
|
diff
|
annotate
2010-04-11
Christian Urban
folded changes from the conference version
file
|
diff
|
annotate
2010-04-08
Christian Urban
some further changes
file
|
diff
|
annotate
2010-04-08
Christian Urban
added new paper directory for further work
file
|
diff
|
annotate
less
more
(0)
tip