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/14 16:01] vkuncak |
rml [2010/01/12 12:52] vkuncak |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| Document summarizing operators of interest: | Document summarizing operators of interest: | ||
| - | * {{:isabellemain.pdf|What's in Isabelle Main, October 14}} | + | * {{: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]] | ||