User Tools

Site Tools


theory:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
theory:start [2012/08/10 13:48]
Patrick Michel
theory:start [2013/07/02 11:44]
Patrick Michel
Line 3: Line 3:
 [[:start]] is based on a full formalization in [[http://​isabelle.in.tum.de|Isabelle/​HOL]]. [[:start]] is based on a full formalization in [[http://​isabelle.in.tum.de|Isabelle/​HOL]].
  
-The full theory (as <​nowiki>​HTML and PDF</​nowiki>​) ​can be found [[https://​xcend.de/​theory/​html|here]].+The full theory (as <​nowiki>​HTML and PDF</​nowiki>​) ​is available ​here:
  
 +^ Version ^ Description ^ Resources ^
 +| [[https://​xcend.de/​theory/​html/​itp/​|ITP]] | Published at [[http://​itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | [[https://​softech.cs.uni-kl.de/​twiki/​pub/​Homepage/​Publikationen/​itp12.pdf|paper]] |
 +| [[https://​xcend.de/​theory/​html/​phd/​|PhD]] | The accompanying theory of the PhD thesis. | [[https://​xcend.de/​theory/​html/​phd/​sources.zip|sources]]((A //flat// ZIP file of all "​thy"​ files. )) |
theory/start.txt ยท Last modified: 2013/07/02 11:44 by Patrick Michel