| Fri, 17 Mar 2006 22:33:06 +0100 | nipkow | fixed problem with proof reconstruction by adding add_Suc to arith-simpset. | changeset | files |
| Fri, 17 Mar 2006 17:38:38 +0100 | schirmer | added parser locale_expr_unless | changeset | files |
| Fri, 17 Mar 2006 16:17:38 +0100 | haftmann | fixed clsvar bug | changeset | files |
| Fri, 17 Mar 2006 15:22:40 +0100 | ballarin | add_locale(_i) returns internal locale name. | changeset | files |
| Fri, 17 Mar 2006 14:20:24 +0100 | haftmann | added example for operational classes and code generator | changeset | files |
| Fri, 17 Mar 2006 14:19:24 +0100 | haftmann | slight improvement in serializer, stub for code generator theorems added | changeset | files |
| Fri, 17 Mar 2006 10:04:27 +0100 | ballarin | Renamed setsum_mult to setsum_right_distrib. | changeset | files |