| Fri, 27 May 2005 01:12:15 +0200 | huffman | added lemmas monofun_lub_fun and cont_lub_fun | changeset | files |
| Fri, 27 May 2005 01:09:44 +0200 | kleing | put global isatest settings in one file, sourced by the other scripts | changeset | files |
| Fri, 27 May 2005 00:24:02 +0200 | huffman | Use TypedefPcpo theorem for po instance | changeset | files |