src/Pure/General/multi_map.scala
2014-12-01 wenzelm 2014-12-01 more merge operations;
2014-04-26 wenzelm 2014-04-26 tuned headers;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2014-02-14 wenzelm 2014-02-14 more integrity checks of theory names vs. full node names;
2013-08-12 wenzelm 2013-08-12 support for maps with multiple entries per key;