isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/HOL/Option.thy

2018-11-10	haftmann	clarified status of legacy input abbreviations	file \| diff \| annotate
2018-06-17	nipkow	added simp rules	file \| diff \| annotate
2018-04-20	haftmann	moved lemma to more appropriate place	file \| diff \| annotate
2018-01-10	nipkow	ran isabelle update_op on all sources	file \| diff \| annotate
2017-11-26	wenzelm	more symbols;	file \| diff \| annotate
2017-08-07	blanchet	tuning imports	file \| diff \| annotate
2016-08-10	nipkow	"split add" -> "split"	file \| diff \| annotate
2016-06-22	wenzelm	bundle lifting_syntax;	file \| diff \| annotate
2016-05-31	eberlm	Added code generation for PMFs	file \| diff \| annotate
2015-12-07	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2015-11-11	Andreas Lochbihler	add various lemmas	file \| diff \| annotate
2015-08-31	wenzelm	proper qualified naming;	file \| diff \| annotate
2015-08-31	wenzelm	misc tuning and modernization;	file \| diff \| annotate
2015-07-18	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2015-02-11	Andreas Lochbihler	more transfer rules	file \| diff \| annotate
2015-02-11	Andreas Lochbihler	add lemmas about functions on option	file \| diff \| annotate
2015-02-11	Andreas Lochbihler	tuned proof	file \| diff \| annotate
2014-11-07	traytel	more complete fp_sugars for sum and prod;	file \| diff \| annotate
2014-11-04	lammich	Added Option.bind_split{,_asm,s}	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-09-11	blanchet	updated news	file \| diff \| annotate
2014-09-02	blanchet	tuned imports	file \| diff \| annotate
2014-09-01	blanchet	renamed BNF theories	file \| diff \| annotate
2014-09-01	blanchet	renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place	file \| diff \| annotate
2014-05-30	blanchet	tuned whitespace, to make datatype definitions slightly less intimidating	file \| diff \| annotate
2014-05-26	blanchet	got rid of '=:' squiggly	file \| diff \| annotate
2014-03-03	blanchet	rationalized internals	file \| diff \| annotate
2014-02-17	blanchet	renamed 'datatype_new_compat' to 'datatype_compat'	file \| diff \| annotate
2014-02-16	blanchet	folded 'Option.set' into BNF-generated 'set_option'	file \| diff \| annotate
2014-02-14	blanchet	renamed 'enriched_type' to more informative 'functor' (following the renaming of enriched type constructors to bounded natural functors)	file \| diff \| annotate

less more (0) -50 -30 tip

isabelle

RSS Atom