Sun, 01 Oct 2006 18:29:32 +0200 | wenzelm | proper use of svc_oracle.ML; | changeset | files |
Sun, 01 Oct 2006 18:29:31 +0200 | wenzelm | reactivated theory PER; | changeset | files |
Sun, 01 Oct 2006 18:29:30 +0200 | wenzelm | tuned proofs; | changeset | files |