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

boolE: changed to have equality assumptions instead of P(c); proved many boolean laws
1993-11-15, by lcp
Added commentary
1993-11-15, by lcp
fun parents: removed pp block (didn't have any effect)
1993-11-15, by wenzelm
changed application format for pretty-printer
1993-11-14, by nipkow
Misc updates
1993-11-12, by lcp
Misc updates
1993-11-12, by lcp
changed formatting for application
1993-11-11, by nipkow
Changed the simplifier: if the subgoaler proves an unexpected thm, chances
1993-11-11, by nipkow
Various updates for Isabelle-93
1993-11-11, by lcp
new style file
1993-11-11, by lcp
adapted "Defining theories" to new use_thy
1993-11-11, by clasohm
replaced by current version;
1993-11-11, by wenzelm
replaced by current version;
1993-11-11, by wenzelm
*** empty log message ***
1993-11-11, by wenzelm
Initial revision
1993-11-10, by lcp
Initial revision
1993-11-10, by lcp
Initial revision
1993-11-09, by lcp
Target "test" now depends on examples files
1993-11-09, by lcp
Target "test" now depends on examples files
1993-11-09, by lcp
fixed a bug in POLY.ML: delete_file didn't close streams;
1993-11-09, by clasohm
renamed hard-quant.ML to hardquant.ML
1993-11-09, by clasohm
renamed int-prover.ML to intprover.ML,
1993-11-09, by clasohm
renamed int-prover.ML to intprover.ML,
1993-11-09, by clasohm
now forbids semicolons in the body of br, etc. No longer
1993-11-09, by lcp
Minor changes; addition of counit.ML
1993-11-08, by lcp
change of my address
1993-11-05, by nipkow
Added documenation of change_simp.
1993-11-05, by lcp
renamed co_inductive.ML to coinductive.ML
1993-11-04, by clasohm
renamed twos-compl.ML to twos_compl.ML
1993-11-04, by clasohm
renamed some files
1993-11-04, by clasohm

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

isabelle