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
.
IsaMakefile
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-08
Christian Urban
added apendix to paper detailing one proof
file
|
diff
|
annotate
2010-09-20
Christian Urban
introduced a general procedure for structural inductions; simplified reflexivity proof
file
|
diff
|
annotate
2010-09-17
Christian Urban
updated to Isabelle Sept 16
file
|
diff
|
annotate
2010-08-31
Christian Urban
slides of my talk
file
|
diff
|
annotate
2010-08-29
Christian Urban
renamed NewParser to Nominal2
file
|
diff
|
annotate
2010-08-26
Christian Urban
"isabelle make test" makes all major examples....they work up to supp theorems (excluding)
file
|
diff
|
annotate
2010-07-10
Christian Urban
added material for slides
file
|
diff
|
annotate
2010-05-24
Christian Urban
added slides
file
|
diff
|
annotate
2010-04-29
Christian Urban
added stub for quotient paper; call with isabelle make qpaper
file
|
diff
|
annotate
2010-04-08
Christian Urban
added new paper directory for further work
file
|
diff
|
annotate
2010-04-06
Christian Urban
typos in paper
file
|
diff
|
annotate
2010-04-04
Christian Urban
separated general nominal theory into separate folder
file
|
diff
|
annotate
2010-04-03
Christian Urban
merged pearl paper with this repository; started litrature subdirectory
file
|
diff
|
annotate
2010-03-17
Christian Urban
paper uses now a heap file - does not compile so long anymore
file
|
diff
|
annotate
2010-03-17
Christian Urban
made paper to compile
file
|
diff
|
annotate
2010-02-25
Christian Urban
added IsaMakefile...but so far included only a test for the parser
file
|
diff
|
annotate
2009-12-19
Christian Urban
with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place
file
|
diff
|
annotate
2009-12-16
Christian Urban
complete fix for IsaMakefile
file
|
diff
|
annotate
2009-12-16
Christian Urban
first fix
file
|
diff
|
annotate
2009-12-16
Christian Urban
added a paper for possible notes
file
|
diff
|
annotate
2009-12-07
Christian Urban
isabelle make tests all examples
file
|
diff
|
annotate
2009-12-07
Christian Urban
added "end" to each example theory
file
|
diff
|
annotate
2009-12-07
Christian Urban
directory re-arrangement
file
|
diff
|
annotate
less
more
(0)
tip