isabelle: File revisions

src/HOL/Library/ListVector.thy

2018-01-10	nipkow	ran isabelle update_op on all sources	file \| diff \| annotate
2017-11-04	wenzelm	prefer main entry points of HOL;	file \| diff \| annotate
2017-08-18	wenzelm	session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;	file \| diff \| annotate
2016-09-15	nipkow	renamed listsum -> sum_list, listprod ~> prod_list	file \| diff \| annotate
2015-11-05	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2015-06-17	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2014-11-02	wenzelm	modernized header;	file \| diff \| annotate
2014-07-04	haftmann	reduced name variants for assoc and commute on plus and mult	file \| diff \| annotate
2012-10-19	webertj	Renamed {left,right}_distrib to distrib_{right,left}.	file \| diff \| annotate
2012-10-19	webertj	Tuned.	file \| diff \| annotate
2009-03-23	haftmann	Main is (Complex_Main) base entry point in library theories	file \| diff \| annotate
2008-07-07	haftmann	*absolute imports of HOL/.thy theories**	file \| diff \| annotate
2008-06-26	haftmann	established Plain theory and image	file \| diff \| annotate
2008-06-10	haftmann	more instantiation	file \| diff \| annotate
2008-02-27	nipkow	Renamed ListSpace to ListVector	file \| diff \| annotate

isabelle