isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/Tools/atomize_elim.ML

2019-04-17	haftmann	backed out experimental b67bab2b132c, which slipped in accidentally	file \| diff \| annotate
2019-04-16	haftmann	hierarchically inclusive named theorem collections	file \| diff \| annotate
2017-12-06	wenzelm	prefer control symbol antiquotations;	file \| diff \| annotate
2015-07-27	wenzelm	tuned signature;	file \| diff \| annotate
2015-04-08	wenzelm	proper context for Object_Logic operations;	file \| diff \| annotate
2015-03-06	wenzelm	Thm.cterm_of and Thm.ctyp_of operate on local context;	file \| diff \| annotate
2015-03-04	wenzelm	clarified signature;	file \| diff \| annotate
2015-03-04	wenzelm	tuned signature -- prefer qualified names;	file \| diff \| annotate
2014-11-26	wenzelm	renamed "pairself" to "apply2", in accordance to @{apply 2};	file \| diff \| annotate
2014-11-09	wenzelm	proper context for compose_tac, Splitter.split_tac (relevant for unify trace options);	file \| diff \| annotate
2014-08-16	wenzelm	updated to named_theorems;	file \| diff \| annotate
2014-08-16	wenzelm	modernized module name and setup;	file \| diff \| annotate
2013-12-14	wenzelm	proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.;	file \| diff \| annotate
2011-10-28	wenzelm	tuned Named_Thms: proper binding;	file \| diff \| annotate
2011-04-16	wenzelm	modernized structure Proof_Context;	file \| diff \| annotate
2011-03-24	wenzelm	added Term.is_open and Term.is_dependent convenience, to cover common situations of loose bounds;	file \| diff \| annotate
2010-12-17	wenzelm	renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;	file \| diff \| annotate
2010-03-07	wenzelm	modernized structure Object_Logic;	file \| diff \| annotate
2009-10-21	haftmann	removed old-style \ and \\ infixes	file \| diff \| annotate
2009-10-20	wenzelm	uniform use of Integer.min/max;	file \| diff \| annotate
2009-10-19	wenzelm	uniform use of Integer.add/mult/sum/prod;	file \| diff \| annotate
2009-07-02	wenzelm	renamed NamedThmsFun to Named_Thms;	file \| diff \| annotate
2009-03-13	wenzelm	simplified method setup;	file \| diff \| annotate
2009-03-13	wenzelm	unified type Proof.method and pervasive METHOD combinators;	file \| diff \| annotate
2009-02-28	wenzelm	removed Ids;	file \| diff \| annotate
2008-07-14	krauss	renamed conversions to _conv, tuned	file \| diff \| annotate
2008-04-08	krauss	added missing file	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom