isabelle: File revisions

src/HOL/Tools/prop_logic.ML

2005-10-09	webertj	2005-10-09	Tactics sat and satx reimplemented, several improvements	file \| diff \| annotate
2005-07-26	webertj	2005-07-26	comment modified	file \| diff \| annotate
2005-07-25	webertj	2005-07-25	defcnf renamed to auxcnf, new defcnf algorithm added, simplify added	file \| diff \| annotate
2005-07-25	webertj	2005-07-25	defcnf modified to internally use a reference	file \| diff \| annotate
2005-03-03	skalberg	2005-03-03	Move towards standard functions.	file \| diff \| annotate
2005-02-23	webertj	2005-02-23	exception SAME removed	file \| diff \| annotate
2004-11-19	webertj	2004-11-19	comment modified	file \| diff \| annotate
2004-06-17	webertj	2004-06-17	improved defcnf conversion	file \| diff \| annotate
2004-06-13	webertj	2004-06-13	faster defcnf conversion	file \| diff \| annotate
2004-05-17	webertj	2004-05-17	Comments fixed	file \| diff \| annotate
2004-04-28	webertj	2004-04-28	comments modified	file \| diff \| annotate
2004-03-10	webertj	2004-03-10	Formulas of propositional logic	file \| diff \| annotate

isabelle