Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
rml [2009/10/14 16:01] vkuncak |
rml [2009/10/14 16:01] 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: | ||