equal
deleted
inserted
replaced
517 map_id' ~> map_id |
517 map_id' ~> map_id |
518 sels ~> sel |
518 sels ~> sel |
519 set_map' ~> set_map |
519 set_map' ~> set_map |
520 sets ~> set |
520 sets ~> set |
521 IMCOMPATIBILITY. |
521 IMCOMPATIBILITY. |
|
522 |
|
523 * Nitpick: |
|
524 - Fixed soundness bug whereby mutually recursive datatypes could take |
|
525 infinite values. |
522 |
526 |
523 |
527 |
524 *** ML *** |
528 *** ML *** |
525 |
529 |
526 * Spec_Check is a Quickcheck tool for Isabelle/ML. The ML function |
530 * Spec_Check is a Quickcheck tool for Isabelle/ML. The ML function |