Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Prod.thy
1997-10-20 wenzelm adapted to qualified names; file | diff | annotate
1997-10-10 wenzelm fixed dots; file | diff | annotate
1997-09-22 wenzelm tuned pattern syntax; file | diff | annotate
1997-04-17 nipkow Added ability to have case expressions involving tuples. (via translation) file | diff | annotate
1997-04-03 nipkow Now: unit = {True} file | diff | annotate
1997-04-03 nipkow Removed (Unit) in Prod. file | diff | annotate
1996-12-13 oheimb adaptions for symbol font file | diff | annotate
1996-11-27 wenzelm added symbols syntax; file | diff | annotate
1996-05-24 nipkow Removed junk introduced by a cvs merge. file | diff | annotate
1996-05-21 berghofe Added additional parent theory equalities because some proofs in file | diff | annotate
1996-04-23 oheimb *** empty log message *** file | diff | annotate
1996-04-23 oheimb repaired critical proofs depending on the order inside non-confluent SimpSets, file | diff | annotate
1996-04-17 oheimb *** empty log message *** file | diff | annotate
1996-04-11 nipkow Added a number of lemmas file | diff | annotate
1996-04-03 nipkow Introduced Times and SIGMA. file | diff | annotate
1996-03-08 clasohm added constdefs section file | diff | annotate
1996-02-05 clasohm expanded tabs; renamed subtype to typedef; file | diff | annotate
1996-01-26 nipkow Streamlined defs in Relation and added new intro/elim rules to do with file | diff | annotate
1995-11-29 clasohm removed quotes from types in consts and syntax sections file | diff | annotate
1995-10-06 regensbu added 8bit pragmas file | diff | annotate
1995-05-09 nipkow Prod is now a parent of Lfp. file | diff | annotate
1995-05-03 nipkow Corrected display of split f t: no more let. file | diff | annotate
1995-04-22 nipkow HOL.thy: file | diff | annotate
1995-03-24 clasohm changed syntax of tuples from <..., ...> to (..., ...) file | diff | annotate
1995-03-21 clasohm changed syntax of Unity ("()" instead of "<>") file | diff | annotate
1995-03-03 clasohm new version of HOL with curried function application file | diff | annotate
less more (0) tip
isabelle