2009-02-06 haftmann merged
2009-02-06 haftmann more robust failure in error situations
2009-02-06 haftmann mandatory prefix for index conversion operations
2009-02-06 haftmann added replace operation
2009-02-06 chaieb fixed dependencies : Theory Dense_Linear_Order moved to Library
2009-02-06 chaieb Theory Dense_Linear_Order moved to Library
2009-02-06 chaieb fixed Proofs and dependencies ; Theory Dense_Linear_Order moved to Library
2009-02-05 hoelzl Updated NEWS about approximation
2009-02-05 haftmann merged
2009-02-05 haftmann split of already properly working part of Quickcheck infrastructure
2009-02-05 haftmann code attribute applied before user attributes
2009-02-05 haftmann moved Random.thy to Library
2009-02-05 hoelzl Add approximation method
2009-02-05 hoelzl Added new Float theory and moved old Library/Float.thy to ComputeFloat
2009-02-05 hoelzl Added derivation lemmas for power series and theorems for the pi, arcus tangens and logarithm series
2009-02-04 blanchet Make some Refute functions public so I can use them in Nitpick,
2009-02-04 chaieb merged
2009-02-04 chaieb Now catch ERROR exception thrown by find and friends
2009-02-04 haftmann dropped Id
2009-02-04 haftmann proper datatype abstraction example
2009-02-03 haftmann handling type classes without parameters
2009-02-03 haftmann adjusted theory name
2009-02-03 haftmann merged
2009-02-03 haftmann added stub about datatype abstraction
2009-02-03 haftmann changed name space policy for Haskell includes
2009-02-03 haftmann merged Big0
2009-02-03 haftmann added ROOT.ML for Reflection session
2009-02-03 haftmann merged
(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip