equal
deleted
inserted
replaced
591 author = {Alexander Krauss}, |
591 author = {Alexander Krauss}, |
592 title = {Partial Recursive Functions in {Higher-Order Logic}}, |
592 title = {Partial Recursive Functions in {Higher-Order Logic}}, |
593 crossref = {ijcar2006}, |
593 crossref = {ijcar2006}, |
594 pages = {589--603}} |
594 pages = {589--603}} |
595 |
595 |
|
596 @manual{isabelle-function, |
|
597 author = {Alexander Krauss}, |
|
598 title = {Defining Recursive Functions in {Isabelle/HOL}}, |
|
599 institution = TUM, |
|
600 note = {\url{http://isabelle.in.tum.de/doc/codegen.pdf}} |
|
601 } |
|
602 |
596 @Book{kunen80, |
603 @Book{kunen80, |
597 author = {Kenneth Kunen}, |
604 author = {Kenneth Kunen}, |
598 title = {Set Theory: An Introduction to Independence Proofs}, |
605 title = {Set Theory: An Introduction to Independence Proofs}, |
599 publisher = NH, |
606 publisher = NH, |
600 year = 1980} |
607 year = 1980} |