src/HOL/Library/Random.thy
2009-03-12 haftmann 2009-03-12 tuned
2009-02-06 haftmann 2009-02-06 session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there
2009-02-06 haftmann 2009-02-06 mandatory prefix for index conversion operations
2009-02-05 haftmann 2009-02-05 moved Random.thy to Library