Commit [ef2d87] default  Maximize  Restore  History

Incompleteness: new entry

paulson paulson 2013-11-17

changed metadata/metadata
added thys/Incompleteness/Coding.thy
added thys/Incompleteness/Coding_Predicates.thy
added thys/Incompleteness/Functions.thy
added thys/Incompleteness/Goedel_I.thy
added thys/Incompleteness/Goedel_II.thy
added thys/Incompleteness/II_Prelims.thy
added thys/Incompleteness/Pf_Predicates.thy
added thys/Incompleteness/Predicates.thy
added thys/Incompleteness/Pseudo_Coding.thy
added thys/Incompleteness/Quote.thy
added thys/Incompleteness/ROOT
added thys/Incompleteness/Sigma.thy
added thys/Incompleteness/SyntaxN.thy
added thys/Incompleteness/config
added thys/Incompleteness/document.pdf
added thys/Incompleteness/document/isabelle.sty
added thys/Incompleteness/document/isabellesym.sty
added thys/Incompleteness/document/isabelletags.sty
added thys/Incompleteness/document/pdfsetup.sty
added thys/Incompleteness/document/railsetup.sty
added thys/Incompleteness/document/root.bbl
added thys/Incompleteness/document/root.bib
added thys/Incompleteness/document/root.tex
changed thys/ROOTS
metadata/metadata Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Coding.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Coding_Predicates.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Functions.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Goedel_I.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Goedel_II.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/II_Prelims.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Pf_Predicates.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Predicates.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Pseudo_Coding.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Quote.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/ROOT Diff Switch to side-by-side view
Loading...
thys/Incompleteness/Sigma.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/SyntaxN.thy Diff Switch to side-by-side view
Loading...
thys/Incompleteness/config Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document.pdf
Binary file was added.
thys/Incompleteness/document/isabelle.sty Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document/isabellesym.sty Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document/isabelletags.sty Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document/pdfsetup.sty Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document/railsetup.sty Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document/root.bbl Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Incompleteness/document/root.tex Diff Switch to side-by-side view
Loading...
thys/ROOTS Diff Switch to side-by-side view
Loading...