isabelle: File revisions

src/HOL/BNF/Examples/Derivation_Trees/DTree.thy

Tue, 01 Oct 2013 17:06:35 +0200	traytel	base the fset bnf on the new FSet theory	file \| diff \| annotate
Tue, 13 Aug 2013 15:59:22 +0200	kuncar	remove unnecessary dependencies on Library/Quotient_*	file \| diff \| annotate
Fri, 07 Jun 2013 17:09:07 +0100	blanchet	adapted example (cf. 78a3d5006cf1)	file \| diff \| annotate
Mon, 29 Apr 2013 09:10:49 +0200	blanchet	renamed BNF "(co)data" commands to names that are closer to their final names	file \| diff \| annotate
Wed, 13 Mar 2013 13:23:16 +0100	traytel	BNF uses fset defined via Lifting/Transfer rather than Quotient	file \| diff \| annotate
Fri, 14 Dec 2012 16:33:22 +0100	wenzelm	updated some headers;	file \| diff \| annotate
Tue, 16 Oct 2012 20:11:15 +0200	traytel	tuned for document output	file \| diff \| annotate
Tue, 16 Oct 2012 18:05:28 +0200	traytel	tuned whitespace	file \| diff \| annotate
Tue, 16 Oct 2012 17:08:20 +0200	popescua	ported HOL/BNF/Examples/Derivation_Trees to the latest status of the codatatype package	file \| diff \| annotate \| base

isabelle