isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

doc-src/Logics/HOL.tex

1997-05-23	nipkow	Documented `size' function for datatypes.	file \| diff \| annotate
1997-05-22	nipkow	Documented exhaust_tac.	file \| diff \| annotate
1997-05-14	wenzelm	tuned;	file \| diff \| annotate
1997-05-14	wenzelm	mylist instead of list in datatype ex;	file \| diff \| annotate
1997-05-12	wenzelm	minor tuning;	file \| diff \| annotate
1997-05-12	wenzelm	minor tuning;	file \| diff \| annotate
1997-05-09	wenzelm	misc tuning, cleanup, improvements;	file \| diff \| annotate
1997-05-07	paulson	Documents directory Induct; stylistic improvements	file \| diff \| annotate
1997-04-24	nipkow	Added 'induct_tac'	file \| diff \| annotate
1997-04-18	nipkow	Tuple patterns are allowed now in `case'	file \| diff \| annotate
1997-04-17	paulson	Corrected the informal description of coinductive definition	file \| diff \| annotate
1997-04-10	paulson	Updated discussion and references for inductive definitions	file \| diff \| annotate
1997-04-09	nipkow	Thorough update.	file \| diff \| annotate
1997-01-08	paulson	New discussion of implicit simpsets & clasets	file \| diff \| annotate
1996-07-15	berghofe	updated syntax of primrec definitions	file \| diff \| annotate
1996-07-12	berghofe	updated syntax of primrec definitions	file \| diff \| annotate
1996-03-15	clasohm	updated syntax of datatype declaration	file \| diff \| annotate
1996-03-14	clasohm	updated syntax of datatype definitions: "C t1 ... tn" instead of "C(t1,...,tn)"	file \| diff \| annotate
1996-02-09	nipkow	More examples.	file \| diff \| annotate
1996-02-09	nipkow	Small changes.	file \| diff \| annotate
1996-02-01	nipkow	documented split_all_tac in HOL.	file \| diff \| annotate
1996-01-23	paulson	Stylistic changes to discussion of pattern-matching	file \| diff \| annotate
1996-01-01	nipkow	Modified non-empty-types warning in HOL.	file \| diff \| annotate
1995-12-23	nipkow	New version of type sections and many small changes.	file \| diff \| annotate
1995-12-07	clasohm	removed quotes from consts and syntax sections	file \| diff \| annotate
1995-08-18	nipkow	updated "o" in HOL: (infixl 55)	file \| diff \| annotate
1995-06-29	clasohm	changed 'chol' labels to 'hol'; added a few parentheses	file \| diff \| annotate
1995-06-29	clasohm	changes made by Lawrence Paulson	file \| diff \| annotate
1995-05-09	clasohm	converted HOL.tex to CHOL.tex; replaced HOL.tex by CHOL.tex	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom