Mercurial > cpdt > repo
diff latex/cpdt.bib @ 387:7ece04e15446
A pass over Large
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 12 Apr 2012 15:54:37 -0400 |
parents | d5112c099fbf |
children | cc8d0503619f |
line wrap: on
line diff
--- a/latex/cpdt.bib Thu Apr 12 14:30:53 2012 -0400 +++ b/latex/cpdt.bib Thu Apr 12 15:54:37 2012 -0400 @@ -360,3 +360,18 @@ booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, year = {2010}, } + +@inproceedings{Isar, + author = {Wenzel, Markus}, + title = {Isar - A Generic Interpretative Approach to Readable Formal Proof Documents}, + booktitle = {Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics}, + series = {TPHOLs '99}, + year = {1999}, + isbn = {3-540-66463-7}, + pages = {167--184}, + numpages = {18}, + url = {http://dl.acm.org/citation.cfm?id=646526.694887}, + acmid = {694887}, + publisher = {Springer-Verlag}, + address = {London, UK, UK}, +}