diff -r 48c2eb84d5ce -r c0eac04ae3b4 README --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/README Sat Apr 03 22:31:11 2010 +0200 @@ -0,0 +1,18 @@ +This repository contain a new implementation of +Nominal Isabelle. + +Subdirectories: + +Attic ... old version of the quotient package (is now + part of the Isabelle distribution) + +Literature ... some relevant papers bout binders and + Core-Haskell + +Nominal ... main files for Nominal Isabelle + +Nominal/Ex ... examples for new implementation + +Paper ... submitted + +Pearl ... paper accepted at ITP \ No newline at end of file