| 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 |
| Fri, 20 Jun 2008 22:51:50 +0200 | huffman | clean up and rename some profinite lemmas | changeset | files |
| Fri, 20 Jun 2008 22:41:41 +0200 | isatest | move at-sml-dev-e to macbroy23 | changeset | files |
| Fri, 20 Jun 2008 22:28:10 +0200 | huffman | replace SetPcpo.thy with Cset.thy | changeset | files |