[isabelle] Isabelle 2013-1 RC2 (Documentation)


I am not sure if the we can assume that documentation is updated
already, but
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)
Lattes:  http://lattes.cnpq.br/4016080665372277
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 MHonArc.