https://svhol.pbmichel.de/ 2026-04-08T22:00:26+0200 https://svhol.pbmichel.de/ https://svhol.pbmichel.de/lib/tpl/dokuwiki/images/favicon.ico text/html 2012-04-13T15:36:29+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/best_practices?rev=1334324189&do=diff Best Practices This is a collection of hints and conventions that enable you to write compilable and useful functions and formula faster. There are some obvious, syntactical issues but also more subtle things you should keep in mind when building a theory. text/html 2012-04-13T11:46:09+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/code_repository?rev=1334310369&do=diff Example Code You can use this page to upload code fragments, but also slides and the like, which might be useful to other students. text/html 2011-05-07T12:20:08+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/editor?rev=1304763608&do=diff Editor Here you'll find useful information on how to use and configure the editor that comes with iH: the General. Navigation * To run a certain program, just press C-c C-n and it will just start from the beginning. To advance one statement, press text/html 2011-08-02T15:29:08+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/exam?rev=1312291748&do=diff Exam Questions The idea of this page is to collect questions which might be asked in the exams. Whenever you review the slides or work on exercises, just put anything here which might be asked. I guess it will be most easy for the moderating group to put questions about the topic they present here, too. text/html 2013-03-01T10:12:09+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/faq?rev=1362129129&do=diff FAQ - Ask Questions This page is meant to collect the questions that arise when first using Isabelle/HOL and the Proof General. Just post any questions you have here, even if - and especially if - you don't know the answer yet =) Please try to sort the questions into categories, so each category has its own edit button. text/html 2014-04-02T14:43:30+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/jedit?rev=1396442610&do=diff Configure jEdit * Enable brackets mode: Start isabelle with “isabelle jedit -m brackets” * Change the font size: Utilities -> Global Options -> jEdit -> Text Area -> Text font * Change Look&Feel: Utilities -> Global Options -> jEdit -> Appearance text/html 2011-05-28T17:26:58+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/references?rev=1306596418&do=diff External References Put here some links to other documentation sources that can be useful. * Isabelle FAQ * What's is Main (by Tobias Nipkow) contains a list of populer datatypes and functions (i.e. there signatures) in the Main theory. * A Proof Assistant for Higher-Order Logic (by Nipkow et al.) is an extensive tutorial to most of Isabelle's features. Find explanations for most methods, tactics, text/html 2014-04-30T15:28:33+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/start?rev=1398864513&do=diff Isabelle/HOL and Proof General Reference This site is intended to help getting started with using Isabelle/HOL and the Isabelle jEdit editor. This page in particular is the quick cheat sheet and can be used as a reference. Please use the FAQ - Ask Questions page to post and view questions and the text/html 2011-05-07T12:24:03+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/syntax?rev=1304763843&do=diff Isabelle/HOL Syntax This is one of the most important sections of the Wiki. Here you'll find the basic reserved words used in Isabelle/HOL, how should they be called, in which context, their meaning and hopefully some example code. If you're uploading/updating content, please try to adapt to the schema used for all the words to improve readability. text/html 2011-07-07T13:10:34+0200 Anonymous (anonymous@undisclosed.example.com) https://svhol.pbmichel.de/wanted_pages?rev=1310037034&do=diff These pages have been linked to but not yet created; help us developing this Wiki by adding this content!