isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

doc-src/Logics/logics.tex

2000-08-28	wenzelm	proper setup of iman.sty/extra.sty/ttbox.sty;	file \| diff \| annotate
2000-05-26	paulson	updated acknowledgements	file \| diff \| annotate
2000-05-08	wenzelm	improved indexing;	file \| diff \| annotate
1999-10-12	wenzelm	a4paper;	file \| diff \| annotate
1999-09-03	wenzelm	fixed usepackage;	file \| diff \| annotate
1999-08-03	paulson	new chapter on Sequents	file \| diff \| annotate
1999-05-10	wenzelm	pdf setup;	file \| diff \| annotate
1999-05-05	wenzelm	improved Makefile;	file \| diff \| annotate
1999-05-05	paulson	Now uses manual.bib; some references updated	file \| diff \| annotate
1999-05-04	wenzelm	HOL part moved to 'logics-HOL' manual;	file \| diff \| annotate
1999-01-08	paulson	removal of FOL, ZF to a separate manual	file \| diff \| annotate
1998-07-21	wenzelm	fixed isabelle logo;	file \| diff \| annotate
1998-07-21	wenzelm	fixed isabelle logo;	file \| diff \| annotate
1998-07-20	wenzelm	added pdfsetup and isabelle logo;	file \| diff \| annotate
1997-05-22	nipkow	Documented exhaust_tac.	file \| diff \| annotate
1997-05-07	paulson	New acknowledgements	file \| diff \| annotate
1997-05-02	berghofe	Updated to LaTeX 2e	file \| diff \| annotate
1997-04-21	nipkow	Modified credits.	file \| diff \| annotate
1997-04-17	paulson	Removed the \date{} command in order to put the date of typesetting on the	file \| diff \| annotate
1997-04-10	paulson	Updated discussion and references for inductive definitions	file \| diff \| annotate
1997-02-20	wenzelm	made a bit more robust for 'make dist';	file \| diff \| annotate
1995-08-10	paulson	Handle renaming of CHOL.tex to HOL.tex	file \| diff \| annotate
1995-07-25	lcp	now uses proof209.sty	file \| diff \| annotate
1995-05-09	clasohm	converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex	file \| diff \| annotate
1995-01-24	lcp	\bibliography now includes crossref.bib	file \| diff \| annotate
1994-07-12	nipkow	Corrected HOL.tex	file \| diff \| annotate
1994-07-12	nipkow	included rail.sty	file \| diff \| annotate
1994-05-03	lcp	post-CRC corrections	file \| diff \| annotate
1994-04-15	lcp	penultimate Springer draft	file \| diff \| annotate
1994-03-21	lcp	first draft of Springer book	file \| diff \| annotate
1993-11-11	lcp	Various updates for Isabelle-93	file \| diff \| annotate
1993-11-10	lcp	Initial revision	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom