isabelle: File revisions

src/HOL/BNF/Tools/bnf_comp.ML

2013-04-24	blanchet	2013-04-24	renamed "set_natural" to "set_map", reflecting {Bl,Po,Tr} concensus	file \| diff \| annotate
2013-04-24	blanchet	2013-04-24	renamed "map_cong" axiom to "map_cong0" in preparation for real "map_cong"	file \| diff \| annotate
2013-04-24	blanchet	2013-04-24	honor user-specified name for map function	file \| diff \| annotate
2013-04-24	blanchet	2013-04-24	honor user-specified set function names	file \| diff \| annotate
2013-03-27	wenzelm	2013-03-27	tuned signature and module arrangement;	file \| diff \| annotate
2012-11-13	traytel	2012-11-13	made SMLNJ happier	file \| diff \| annotate
2012-10-12	wenzelm	2012-10-12	discontinued typedef with alternative name;	file \| diff \| annotate
2012-10-12	wenzelm	2012-10-12	discontinued typedef with implicit set_def;	file \| diff \| annotate
2012-10-04	traytel	2012-10-04	made SML/NJ happier	file \| diff \| annotate
2012-10-04	traytel	2012-10-04	do not expose details of internal data structures for composition of BNFs	file \| diff \| annotate
2012-09-30	blanchet	2012-09-30	fixed quick-and-dirty mode	file \| diff \| annotate
2012-09-28	traytel	2012-09-28	tuned tactics	file \| diff \| annotate
2012-09-26	blanchet	2012-09-26	parameterized "subst_tac"	file \| diff \| annotate
2012-09-26	blanchet	2012-09-26	generate high-level "maps", "sets", and "rels" properties	file \| diff \| annotate
2012-09-23	blanchet	2012-09-23	simplified fact policies	file \| diff \| annotate
2012-09-21	blanchet	2012-09-21	clean up lemmas used for composition	file \| diff \| annotate
2012-09-21	blanchet	2012-09-21	renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"	file \| diff \| annotate \| base

isabelle

RSS Atom