2006-03-24 huffman lazy patterns in lambda abstractions
2006-03-24 urbanc changed the it_prm proof to work for recursion
2006-03-24 urbanc tuned some proofs
2006-03-24 berghofe Removed occurrences of makestring, which does not
2006-03-23 nipkow Converted translations to abbbreviations.
2006-03-23 berghofe Replaced iteration combinator by recursion combinator.
2006-03-23 paulson detection of definitions of relevant constants
2006-03-23 mengj Only display atpset theorems if Output.show_debug_msgs is true.
2006-03-22 urbanc added the first two simple proofs of the recursion
2006-03-22 webertj comment fixed
2006-03-22 paulson Introduction of "whitelist": theorems forced past the relevance filter
2006-03-22 paulson Slight simplification of proofs
2006-03-22 paulson Removal of obsolete strategies. Initial support for locales: Frees and Consts
2006-03-22 webertj comment for conjI added
2006-03-22 nipkow translations -> abbreviations (a cool feature)
Loading...
(0) -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 +30000 tip