syntax
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| syntax [2011/05/07 12:21] – created 178.26.109.100 | syntax [2011/05/07 12:24] (current) – 178.26.109.100 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== Reserved Words ===== | + | ====== Isabelle/ |
| This is one of the most important sections of the Wiki. Here you'll find the basic reserved words used in Isabelle/ | This is one of the most important sections of the Wiki. Here you'll find the basic reserved words used in Isabelle/ | ||
| - | === theory === | + | ===== Keywords ===== |
| + | |||
| + | ==== theory | ||
| theory //name// | theory //name// | ||
| Line 101: | Line 103: | ||
| value "myMap ((op +)1) ((1::nat) # 3 # [])" | value "myMap ((op +)1) ((1::nat) # 3 # [])" | ||
| </ | </ | ||
| + | |||
| + | ===== Symbols from Libraries ===== | ||
| ==== Cons ==== | ==== Cons ==== | ||
| Line 117: | Line 121: | ||
| value "0 # 1 # 2 # 3 # []" | value "0 # 1 # 2 # 3 # []" | ||
| </ | </ | ||
| + | |||
| + | ===== Template ===== | ||
| ==== TERM ==== | ==== TERM ==== | ||
syntax.1304763686.txt.gz · Last modified: by 178.26.109.100