[isabelle-dev] Theory_Data.extend still needed?

[Florian Haftmann]

grep -rIPn 'val\s+extend\s*=\s*[^I ]' src
./Pure/context.ML:554:    val extend = Data.extend;
	(which is not relevant since this is the definition of Theory_Data istelf)

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140628/6544d0d9/attachment.asc>