isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/FOL/cladata.ML

2006-01-19	wenzelm	setup: theory -> theory;	file \| diff \| annotate
2005-12-31	wenzelm	removed obsolete Provers/make_elim.ML;	file \| diff \| annotate
2005-12-30	wenzelm	provide cla_dist_concl;	file \| diff \| annotate
2005-10-17	wenzelm	change_claset/simpset;	file \| diff \| annotate
2003-08-20	paulson	new case_tac method	file \| diff \| annotate
2002-03-06	wenzelm	tuned;	file \| diff \| annotate
2001-10-14	wenzelm	eliminated atomize rules;	file \| diff \| annotate
2001-01-15	wenzelm	tuned atomize;	file \| diff \| annotate
2000-11-10	wenzelm	val atomize = thms "atomize'";	file \| diff \| annotate
2000-11-03	wenzelm	"atomize" for classical tactics;	file \| diff \| annotate
2000-09-05	wenzelm	tuned;	file \| diff \| annotate
2000-07-30	wenzelm	updated ObtainFun;	file \| diff \| annotate
2000-06-28	paulson	declaring and using cla_make_elim	file \| diff \| annotate
2000-01-05	wenzelm	ObtainFun;	file \| diff \| annotate
1999-08-25	wenzelm	proper bootstrap of IFOL/FOL theories and packages;	file \| diff \| annotate
1999-08-02	wenzelm	fixed Blast_Data;	file \| diff \| annotate
1998-11-18	wenzelm	blast: cla_method';	file \| diff \| annotate
1998-02-25	oheimb	renamed rep_claset to rep_cs	file \| diff \| annotate
1997-12-23	paulson	Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac	file \| diff \| annotate
1997-11-26	paulson	The change from iffE to iffCE means fewer case splits in most cases. Very few	file \| diff \| annotate
1997-11-03	wenzelm	adapted to new implicit claset;	file \| diff \| annotate
1997-10-10	wenzelm	fixed dots;	file \| diff \| annotate
1997-08-05	berghofe	Moved functions from file "thy_data.ML".	file \| diff \| annotate
1997-04-02	paulson	Now builds blast_tac	file \| diff \| annotate
1997-03-27	paulson	Now uses the alternative (safe!) rules for ex1	file \| diff \| annotate
1997-01-03	paulson	Implicit simpsets and clasets for FOL and ZF	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom