isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

src/Provers/Arith/extract_common_term.ML

2013-04-18	wenzelm	simplifier uses proper Proof.context instead of historic type simpset;	file \| diff \| annotate
2011-10-29	huffman	remove unused function	file \| diff \| annotate
2011-10-27	huffman	*fix bug in cancel_factor simprocs so they will work on goals like 'x y < x * z' where the common term is already on the left**	file \| diff \| annotate
2011-06-29	wenzelm	tuned signature;	file \| diff \| annotate
2010-03-13	wenzelm	removed old CVS Ids;	file \| diff \| annotate
2009-03-22	nipkow	1. New cancellation simprocs for common factors in inequations	file \| diff \| annotate
2006-07-12	wenzelm	prove_conv: Variable.import_terms instead of Term.addhoc_freeze_vars;	file \| diff \| annotate
2006-07-08	wenzelm	simprocs: no theory argument -- use simpset context instead;	file \| diff \| annotate
2005-09-15	wenzelm	TableFun/Symtab: curried lookup and update;	file \| diff \| annotate
2005-09-01	wenzelm	curried_lookup/update;	file \| diff \| annotate
2005-08-01	wenzelm	simprocs: Simplifier.inherit_bounds;	file \| diff \| annotate
2005-03-03	skalberg	Move towards standard functions.	file \| diff \| annotate
2005-02-13	skalberg	Deleted Library.option type.	file \| diff \| annotate
2004-07-08	wenzelm	adapted type of simprocs;	file \| diff \| annotate
2004-02-15	paulson	Polymorphic treatment of binary arithmetic using axclasses	file \| diff \| annotate
2002-08-08	wenzelm	adhoc_freeze_vars;	file \| diff \| annotate
2000-12-18	paulson	new simproc for cancelling common factors, etc.	file \| diff \| annotate

less more (0) tip

isabelle