Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-15
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Nominal/Ex/SingleLet.thy
2011-07-05
Christian Urban
changed bind to binds in specifications; bind will cause trouble with Monad_Syntax
file
|
diff
|
annotate
2010-12-31
Christian Urban
changed res keyword to set+ for restrictions; comment by a referee
file
|
diff
|
annotate
2010-12-22
Christian Urban
tuned examples
file
|
diff
|
annotate
2010-12-21
Christian Urban
all examples for strong exhausts work; recursive binders need to be treated differently; still unclean version with lots of diagnostic code
file
|
diff
|
annotate
2010-11-13
Christian Urban
lifted permute_bn constants
file
|
diff
|
annotate
2010-11-12
Christian Urban
automated permute_bn functions (raw ones first)
file
|
diff
|
annotate
2010-11-10
Christian Urban
adapted to changes by Florian on the quotient package and removed local fix for function package
file
|
diff
|
annotate
2010-10-14
Christian Urban
major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)
file
|
diff
|
annotate
2010-10-05
Christian Urban
llncs and more sqeezing
file
|
diff
|
annotate
2010-09-27
Christian Urban
added postprocessed fresh-lemmas for constructors
file
|
diff
|
annotate
2010-09-27
Christian Urban
post-processed eq_iff and supp threormes according to the fv-supp equality
file
|
diff
|
annotate
2010-09-27
Christian Urban
some experiments
file
|
diff
|
annotate
2010-09-25
Christian Urban
lifted size_thms and exported them as <name>.size
file
|
diff
|
annotate
2010-09-25
Christian Urban
cleaned up two examples
file
|
diff
|
annotate
2010-09-17
Christian Urban
updated to Isabelle Sept 16
file
|
diff
|
annotate
less
more
(0)
-15
tip