summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files | gz |
help

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip

Int.thy: discontinued some legacy theorems

Set.thy: remove redundant [simp] declarations

removing code equation for card on finite types when loading the Executable_Set theory; should resolve a code generation issue with CoreC++

tune text for document generation

adding examples with relations to Quickcheck_Examples to show that quickcheck can actually handle operators on relations as well

adding code equations for cardinality and (reflexive) transitive closure on finite types

adding lemma about rel_pow in Transitive_Closure for executable equation of the (refl) transitive closure

adding lemma to List library for executable equation of the (refl) transitive closure

fixed typos in IMP

added nice interval syntax