2 Commits

Author	SHA1	Message	Date
Ricardo Rocha	ab8fee4e08	common global trie for subtems (seems to be working correctly !)	2010-04-05 03:34:02 +01:00
Ricardo Rocha	9c3bb73bab	common global trie (version GT-ST: global trie for subterms)	2010-04-05 03:31:12 +01:00