isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

Acknowledged Carsten Clasohm
1993-12-03, by lcp
New distributive laws for Sigma and UN
1993-12-03, by lcp
removal of amssymbols.sty and lcp.sty; addition of iman.sty
1993-12-02, by lcp
ZF/ex/ROOT: changed many time_use calls to time_use_thy or else deleted
1993-12-01, by lcp
minor corrections
1993-12-01, by lcp
new references
1993-12-01, by lcp
now inspects FOLP_build_completed
1993-12-01, by lcp
now declares FOLP_build_completed
1993-12-01, by lcp
*** empty log message ***
1993-11-30, by wenzelm
*** empty log message ***
1993-11-30, by wenzelm
ZF/ex/llist_eq/lleq_Int_Vset_subset_lemma,
1993-11-30, by lcp
changed split_filename, remove_ext;
1993-11-30, by wenzelm
*** empty log message ***
1993-11-30, by wenzelm
ZF/quniv/QPair_Int_Vset_subset_UN: new, isolates key argument of many
1993-11-30, by lcp
extend: cleaned up, adapted for new Syntax.extend;
1993-11-29, by wenzelm
*** empty log message ***
1993-11-29, by wenzelm
added (partial) extend_tables;
1993-11-29, by wenzelm
changed datatype ext;
1993-11-29, by wenzelm
improved comments;
1993-11-29, by wenzelm
added SCANNER;
1993-11-29, by wenzelm
added Scanner;
1993-11-29, by wenzelm
added logical_types
1993-11-29, by nipkow
improved comments;
1993-11-29, by wenzelm
added equal, not_equal: ''a -> ''a -> bool
1993-11-29, by wenzelm
Minor edits to discussion of use_thy
1993-11-26, by lcp
Correction to eta-contraction; thanks to Markus W.
1993-11-26, by lcp
Correction to page 16; thanks to Markus W.
1993-11-26, by lcp
Corrected errors found by Marcus Wenzel.
1993-11-26, by lcp
changed some names and deleted *NORMALIZED*
1993-11-25, by nipkow
corrected obvious errors;
1993-11-25, by wenzelm

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

isabelle