steenpass/realclassify — pull request #15 by magdaleen (2013-01-25 14:14:41+00:00)
Title: write algorithms in new format

+ update environments for theorems