RTree.thy
2016-07-04 Christian Urban added version with fgraphs
2016-06-27 Christian Urban unified Rtree.
2016-06-09 Christian Urban updated
2016-06-07 Christian Urban minor update
less more (0) -10 -4 tip