| Fri, 06 May 2011 13:35:00 +0200 | blanchet | further improved type system setup based on Judgment Days | changeset | files |
| Fri, 06 May 2011 13:34:59 +0200 | blanchet | allow each prover to specify its own formula kind for symbols occurring in the conjecture | changeset | files |
| Fri, 06 May 2011 13:34:59 +0200 | blanchet | better type system setup, based on Judgment Day | changeset | files |
| Fri, 06 May 2011 11:57:21 +0200 | bulwahn | improving merge of code specifications by removing code equations of constructors after merging two theories | changeset | files |
| Thu, 05 May 2011 23:54:06 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 05 May 2011 23:23:02 +0200 | wenzelm | tuned some syntax names; | changeset | files |
| Thu, 05 May 2011 23:15:11 +0200 | wenzelm | tuned rail diagrams and layout; | changeset | files |