Differences

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

--- syntax [2011/05/07 12:23] – 178.26.109.100
+++ syntax [2011/05/07 12:24] (current) – 178.26.109.100
@@ Line 1: / Line 1: @@
-====== Reserved Words ======
+====== 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.