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/ZF/QPair.thy
2003-02-19 paulson fixed anomalies in the installed classical rules file | diff | annotate
2003-01-23 paulson tidying (by script) file | diff | annotate
2002-10-01 paulson Numerous cosmetic changes, prompted by the new simplifier file | diff | annotate
2002-08-28 paulson various new lemmas for Constructible file | diff | annotate
2002-08-27 wenzelm avoid duplicate fact bindings; file | diff | annotate
2002-07-14 paulson Removal of mono.thy file | diff | annotate
2002-07-14 paulson improved presentation markup file | diff | annotate
2002-07-02 paulson conversion of QPair to Isar file | diff | annotate
2002-06-29 paulson conversion of many files to Isar format file | diff | annotate
2002-06-18 paulson tidying file | diff | annotate
1999-01-12 wenzelm eliminated global/local names; file | diff | annotate
1997-10-20 wenzelm local; file | diff | annotate
1997-10-17 wenzelm global; file | diff | annotate
1997-01-03 paulson Implicit simpsets and clasets for FOL and ZF file | diff | annotate
1996-02-06 clasohm expanded tabs file | diff | annotate
1995-12-09 clasohm removed quotes from consts and syntax sections file | diff | annotate
1995-05-03 lcp Changed definitions so that qsplit is now defined in terms of file | diff | annotate
1995-03-07 lcp Moved declarations of @QSUM and <*> to a syntax section. file | diff | annotate
1994-11-28 lcp replaced "rules" by "defs" file | diff | annotate
1994-08-12 lcp installation of new inductive/datatype sections file | diff | annotate
1994-06-21 lcp Addition of cardinals and order types, various tidying file | diff | annotate
1993-11-16 clasohm made pseudo theories for all ML files; file | diff | annotate
1993-11-15 lcp changed all co- and co_ to co file | diff | annotate
1993-10-08 wenzelm added parse rule for "<*>"; file | diff | annotate
1993-09-16 clasohm Initial revision file | diff | annotate
less more (0) tip
isabelle