[isabelle] code_include in Isabelle2014?




Dear all,


is there a replacement command for "code_include" that was present in Isabelle2012 (at least).

I did not see anything about this in the cumulative NEWS on Isabelle versions.

Thanks in advance,

Thomas
--
Thomas Genet
ISTIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
http://www.irisa.fr/celtique/genet




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.