terms.html: general cleanup, only formatting no change of characters should have occurred. The <head> contains two simple style defs
terms.html: general cleanup, only formatting no change of characters should have occurred. The <head> contains two simple style defs

DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc,DrXyzzy/smc,tscholl2/smc,tscholl2/smc,tscholl2/smc,sagemathinc/smc,DrXyzzy/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc