| changeset 19046 | bc5c6c9b114e |
| parent 18708 | 4b3dadb4fe33 |
| child 19305 | 5c16895d548b |
--- a/src/Pure/Thy/present.ML Wed Feb 15 19:11:10 2006 +0100 +++ b/src/Pure/Thy/present.ML Wed Feb 15 21:34:55 2006 +0100 @@ -273,7 +273,7 @@ | _ => error ("Malformed document version specification: " ^ quote str)); fun read_versions strs = - rev (gen_distinct (eq_fst (op =)) (rev ((documentN, "") :: map read_version strs))) + rev (distinct (eq_fst (op =)) (rev ((documentN, "") :: map read_version strs))) |> filter_out (equal "-" o #2);