| Fri, 27 Jun 2008 09:55:02 +0200 | haftmann | adjusted import | changeset | files |
| Fri, 27 Jun 2008 09:34:08 +0200 | haftmann | adjusted import | changeset | files |
| Fri, 27 Jun 2008 00:37:30 +0200 | urbanc | added a lemma to at_swap_simps | changeset | files |
| Thu, 26 Jun 2008 17:54:05 +0200 | huffman | remove cset theory; define ideal completions using typedef instead of cpodef | changeset | files |
| Thu, 26 Jun 2008 15:06:30 +0200 | wenzelm | Args.theory; | changeset | files |
| Thu, 26 Jun 2008 15:06:28 +0200 | wenzelm | added context/theory scanner; | changeset | files |
| Thu, 26 Jun 2008 15:06:25 +0200 | wenzelm | Args.context; | changeset | files |
| Thu, 26 Jun 2008 11:58:27 +0200 | krauss | fix: need to beta/eta normalize | changeset | files |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | changeset | files |
| Thu, 26 Jun 2008 10:06:54 +0200 | haftmann | added dummy citiation | changeset | files |
| Thu, 26 Jun 2008 10:06:53 +0200 | haftmann | dropped recdef | changeset | files |
| Thu, 26 Jun 2008 10:06:51 +0200 | haftmann | class theory name lookup improved | changeset | files |
| Wed, 25 Jun 2008 22:11:17 +0200 | wenzelm | modernized specifications; | changeset | files |
| Wed, 25 Jun 2008 22:01:35 +0200 | wenzelm | tuned proofs; | changeset | files |