fixing schema for theory
more ignorance
setting up validatino
the rng moved to its own directory ../rng
obsolete
reorganizing svg files into ../svg
typo
fixing fragid
transforming theories