| Tue, 14 Oct 2014 15:39:57 +0200 | desharna | add 'fp_bnf' to 'bnf_sugar' | changeset | files |
| Tue, 14 Oct 2014 15:39:56 +0200 | desharna | preserve the structure of 'set_intros' theorem in ML | changeset | files |
| Tue, 14 Oct 2014 15:39:54 +0200 | desharna | preserve the structure of 'map_sel' theorem in ML | changeset | files |
| Tue, 14 Oct 2014 15:11:35 +0200 | desharna | preserve the structure of 'set_sel' theorem in ML | changeset | files |
| Tue, 14 Oct 2014 13:51:38 +0200 | steckerm | Fixed bug in waldmeister skolemization | changeset | files |
| Tue, 14 Oct 2014 10:52:46 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 Oct 2014 22:43:29 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 Oct 2014 21:57:40 +0200 | wenzelm | merged | changeset | files |