Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
rml [2009/10/08 22:01] vkuncak |
rml [2010/01/12 12:52] vkuncak |
||
---|---|---|---|
Line 6: | Line 6: | ||
Document summarizing operators of interest: | Document summarizing operators of interest: | ||
- | * http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle/doc/main.pdf | + | * {{:isabellemain.pdf|What's in Isabelle Main, October 14, 2009}} |
Some differences: | Some differences: | ||
Line 17: | Line 17: | ||
* option types | * option types | ||
* subset of list operations | * subset of list operations | ||
+ | |||
+ | [[Vepar Grammar]] | ||