prio/Paper/Paper.thy
Sat, 11 Feb 2012 08:16:11 +0000 urbanc fixed problem with Latexsugar
Fri, 10 Feb 2012 21:01:03 +0000 urbanc more on paper; modified schs functions; it is still compatible with the old definition
less more (0) -10 -2 tip