isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

Corrected statement of filter_append; added filter_size
1997-06-02, by paulson
Simplified proof
1997-06-02, by paulson
New theorems le_add_diff_inverse, le_add_diff_inverse2
1997-06-02, by paulson
trivial changes to incorporate CTL.thy and Example.ML in html file;
1997-05-30, by mueller
Simplified the calling sequence of CONTEXT_REWRITE_RULE
1997-05-30, by paulson
Moved "less_eq" to NatDef from Arith
1997-05-30, by paulson
New results including the basis for unique factorization
1997-05-30, by paulson
Now "primes" is a set
1997-05-30, by paulson
Now Divides must be the parent
1997-05-30, by paulson
New proofs about cardinality. Suggested by Florian Kammueller
1997-05-30, by paulson
Addition of Finite as parent allows cardinality theorems
1997-05-30, by paulson
Replacement of "divides" by "dvd" from Divides.thy, and updating of proofs
1997-05-30, by paulson
Overloading of "^" requires a type constraint
1997-05-30, by paulson
Overloading of "^" requires new type class "power", with types "nat" and
1997-05-30, by paulson
New theory Divides
1997-05-30, by paulson
Many new theorems about cardinality
1997-05-30, by paulson
Now Divides must be the parent
1997-05-30, by paulson
Moving div and mod from Arith to Divides
1997-05-30, by paulson
flushOut ensures that no recent error message are lost (not certain this is
1997-05-30, by paulson
polyml-3.1 default again (for local work);
1997-05-27, by wenzelm
fixed -P (checkout only);
1997-05-27, by wenzelm
NJ 1.09.2x as factory default! Isabelle94-8
1997-05-27, by wenzelm
Last changes for new release 94-8
1997-05-27, by mueller
added 1.09.28 note;
1997-05-27, by wenzelm
New theorems suggested by Florian Kammueller
1997-05-27, by paulson
Restoration of the two "bypassed" theorems Union_quotient and quotient_disj
1997-05-27, by paulson
Removal of card_insert_disjoint, which is now a default rewrite rule
1997-05-27, by paulson
New theorem disjoint_eq_subset_Compl
1997-05-27, by paulson
New theorem le_Suc_eq
1997-05-27, by paulson
Removal of mask.sig and mask.sml
1997-05-27, by paulson

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

isabelle