| Tue, 14 Jun 2005 21:56:55 +0200 | wenzelm | added type tactic; | changeset | files |
| Tue, 14 Jun 2005 09:46:35 +0200 | chaieb | int --> IntInt.int | changeset | files |
| Tue, 14 Jun 2005 04:05:15 +0200 | huffman | renamed theorem cont2cont_CF1L_rev2 to cont2cont_lambda | changeset | files |
| Tue, 14 Jun 2005 04:04:09 +0200 | huffman | cleaned up and reorganized | changeset | files |
| Tue, 14 Jun 2005 03:50:20 +0200 | huffman | moved continuity simproc to a separate file | changeset | files |
| Tue, 14 Jun 2005 03:35:15 +0200 | huffman | up_eq and up_less in default simpset now | changeset | files |
| Mon, 13 Jun 2005 21:28:57 +0200 | obua | internalize axiom names in Defs.define; compress types via Term.compress_type | changeset | files |
| Mon, 13 Jun 2005 15:10:52 +0200 | paulson | downgraded to pdf v 1.4 | changeset | files |