| Sat, 21 Jun 2008 16:18:52 +0200 | wenzelm | import_export_proof: simplified thm definition -- PureThy.name_thm does the job; | changeset | files |
| Sat, 21 Jun 2008 16:18:51 +0200 | wenzelm | added query_type/const/class (meta data); | changeset | files |
| Sat, 21 Jun 2008 16:18:50 +0200 | wenzelm | the_tags: explicit error message; | changeset | files |
| Sat, 21 Jun 2008 16:18:49 +0200 | wenzelm | activate_context: strict the_context, no fallback on theory context; | changeset | files |
| Fri, 20 Jun 2008 23:37:24 +0200 | huffman | remove unused constant liftpair | changeset | files |
| Fri, 20 Jun 2008 23:01:09 +0200 | huffman | simplify profinite class axioms | changeset | files |