isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -300 -100 -96 +96 +100 +300 +1000 +3000 +10000 +30000 tip

changed implode to ^
1994-05-11, by clasohm
moved 'filter is_xid' in syn_ext
1994-05-11, by clasohm
syntax_error now removes duplicate tokens in its output and doesn't
1994-05-09, by clasohm
ZF/indrule/mk_pred_typ: corrected pattern to include Abs, allowing it to
1994-05-06, by lcp
renaming/removal of filenames to correct case
1994-05-06, by lcp
renaming/removal of filenames to correct case
1994-05-06, by lcp
renaming/removal of filenames to correct case
1994-05-06, by lcp
improved syntax error:
1994-05-06, by clasohm
CTT.ML/SumE_fst,SumE_snd: tidied
1994-05-04, by lcp
Bool.ML: replaced many rewrite_goals_tac calls by prove_goalw
1994-05-04, by lcp
final Springer version
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
CTT/Arith.ML: replaced many rewrite_goals_tac calls by prove_goalw
1994-05-03, by lcp
removal of obsolete type-declaration syntax
1994-05-03, by lcp
removal of obsolete type-declaration syntax
1994-05-03, by lcp
removal of obsolete type-declaration syntax
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
changed translation of type applications according to new grammar;
1994-05-02, by wenzelm
added many more filenames to FILES and EX_FILES
1994-04-27, by lcp
made a few cosmetic changes
1994-04-26, by clasohm
final Springer copy
1994-04-25, by lcp
final Springer copy
1994-04-25, by lcp
renamed theory files
1994-04-24, by clasohm
fixed a small bug
1994-04-24, by clasohm
changed convention for theory file names: they now have to consist of the
1994-04-24, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
final Springer copy
1994-04-22, by lcp
final Springer copy
1994-04-22, by lcp
final Springer copy
1994-04-22, by lcp
changed the way a grammar is generated to allow the new parser to work;
1994-04-22, by clasohm
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
restored the signature constraint :THM
1994-04-06, by lcp
modifications towards final draft
1994-04-04, by lcp
modifications towards final draft
1994-04-04, by lcp
changed lists and added "let" and "case"
1994-03-30, by nipkow
Changed term ordering for permutative rewrites to be AC-compatible.
1994-03-27, by nipkow
revisions to first Springer draft
1994-03-24, by lcp
added section on type synonyms
1994-03-24, by nipkow
minor problems
1994-03-24, by nipkow
added \iflabelundefined
1994-03-24, by lcp
removed inconsistency with new HOL version
1994-03-24, by nipkow
Franz fragen
1994-03-24, by nipkow
structural induction for strict lists
1994-03-24, by nipkow
Franz fragen
1994-03-24, by nipkow
revisions to first Springer draft
1994-03-24, by lcp
have broken line
1994-03-23, by nipkow
final CADE version
1994-03-23, by lcp
first draft of Springer volume
1994-03-23, by lcp
first draft of Springer volume
1994-03-23, by lcp
first draft of Springer volume
1994-03-23, by lcp
changed "." to "$" and added parentheses to eliminate ambiguity
1994-03-22, by clasohm
changed "." to "$" to eliminate ambiguity
1994-03-22, by clasohm
Implemented "ordered rewriting": rules which merely permute variables, such
1994-03-22, by nipkow
first draft of Springer book
1994-03-21, by lcp
first draft of Springer book
1994-03-21, by lcp
first draft of Springer book
1994-03-21, by lcp
First draft of Springer book
1994-03-19, by lcp
new type declaration syntax instead of numbers
1994-03-17, by lcp
FOL/simpdata: tidied
1994-03-17, by lcp
CTT/ex/elim.ML: in the two proofs of Axiom of Choice, changed X-->Y to PROD
1994-03-17, by lcp
CCL/ccl.ML/po_refl_iff_T: deleted reference to make_iff_T
1994-03-17, by lcp
Improved layout for inductive defs
1994-03-17, by lcp
adapted type definition to new syntax
1994-03-17, by clasohm
fixed misfeature in Sign.extend: types of consts were read wrt. the new syntax;
1994-03-04, by wenzelm
changed "x" to "uu" for implicit name of the
1994-03-03, by lcp
update towards LNCS
1994-03-01, by nipkow
deleted a comment
1994-03-01, by nipkow

less more | (0) -300 -100 -96 +96 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle