src/HOL/Tools/dseq.ML
2009-11-19 berghofe 2009-11-19 Added infrastructure for embedding random data generators into code generated for inductive predicates.
2009-06-29 haftmann 2009-06-29 dropped Id
2008-09-22 haftmann 2008-09-22 fixed headers
2007-11-06 haftmann 2007-11-06 added explicit signature
2007-09-18 haftmann 2007-09-18 separated code for inductive sequences from inductive_codegen.ML