| Tue, 14 Jun 2005 22:08:53 +0200 | wenzelm | discontinued polyml-3.x; | changeset | files |
| Tue, 14 Jun 2005 21:56:57 +0200 | wenzelm | export cases_tac, induct_tac; | changeset | files |
| 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 |