User Tools
syntax
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
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. | 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. | ||
syntax.1304763816.txt.gz ยท Last modified: 2011/05/07 12:23 by 178.26.109.100
Page Tools
