isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

Changed comments
1995-07-25, by lcp
Added Part_Int and Part_Collect for inductive definitions
1995-07-25, by lcp
Includes Sum.thy as a parent for mutual recursion
1995-07-25, by lcp
now uses proof209.sty
1995-07-25, by lcp
trivial update
1995-07-25, by lcp
trivial update
1995-07-25, by lcp
finally deleted
1995-07-25, by lcp
Updated nipkow-prehofer
1995-07-19, by nipkow
moved mixfix syntax from sign.ML
1995-07-07, by clasohm
moved mixfix syntax to Syntax/mixfix.ML
1995-07-07, by clasohm
Added insert_not_empty, UN_empty and UN_insert (to set_ss).
1995-07-05, by nipkow
added cargs for curried function application
1995-07-03, by clasohm
removed debugging output
1995-07-03, by clasohm
remove Old_HOL
1995-07-03, by clasohm
added comments; fixed a bug; reduced memory usage slightly
1995-07-03, by clasohm
added mention of new theories BT and Perm
1995-06-30, by lcp
new inductive definition: permutations
1995-06-30, by lcp
Renamed some vars.
1995-06-29, by nipkow
fixed comment
1995-06-29, by lcp
Proof of n_leaves_reflect uses permutative rewriting.
1995-06-29, by lcp
Added function rev and its properties length_rev, etc.
1995-06-29, by lcp
The curried version of HOLCF is now just called HOLCF. The old
1995-06-29, by regensbu
New theory and proofs including preorder, inorder, ..., initially
1995-06-29, by lcp
renamed CHOL to HOL
1995-06-29, by clasohm
renamed CHOL to HOL
1995-06-29, by clasohm
renamed CHOL to HOL
1995-06-29, by clasohm
changed 'chol' labels to 'hol'; added a few parentheses
1995-06-29, by clasohm
changes made by Lawrence Paulson
1995-06-29, by clasohm
Minimal proof tuning.
1995-06-29, by nipkow
added add_trrules_i;
1995-06-26, by wenzelm

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

isabelle