Database for SML documentation