[isabelle] Isabelle 2013-1 RC2 (Documentation)
I am not sure if the we can assume that documentation is updated
in section 6.3.1 (Relations) of the Isabelle/HOL Tutorial, relation
is now labelled as 'relcomp_unfold" and not as 'rel_comp_def'.
There may be some more inconsistencies.
Moreover, 'thm mem_Collect_eq' does not pretty print in the Output
pane exactly like in the tutorial documentation.
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
This archive was generated by a fusion of
Pipermail (Mailman edition) and