Transcend theory https://xcend.de/ Sat, 23 May 2026 08:25:00 +0000 FeedCreator 1.8 https://xcend.de/lib/tpl/dokuwiki/images/favicon.ico Transcend https://xcend.de/ theory:index.html https://xcend.de/theory/index.html Isabelle/HOL Theories anonymous@undisclosed.example.com (Anonymous) theory Fri, 10 Aug 2012 13:42:39 +0000 theory:main.html https://xcend.de/theory/main.html The main theory of Isabelle/HOL can be found here. anonymous@undisclosed.example.com (Anonymous) theory Fri, 10 Aug 2012 13:51:07 +0000 Isabelle/HOL Theories https://xcend.de/theory/start A flat ZIP file of all anonymous@undisclosed.example.com (Anonymous) theory Tue, 02 Jul 2013 11:44:22 +0000