| Wed, 21 Aug 2013 15:34:51 +0200 | blanchet | improved support for MaSh server | changeset | files |
| Wed, 21 Aug 2013 15:18:06 +0200 | blanchet | get rid of some silly MaSh features | changeset | files |
| Wed, 21 Aug 2013 14:54:25 +0200 | blanchet | weight MaSh constants by frequency | changeset | files |
| Wed, 21 Aug 2013 13:48:25 +0200 | traytel | transfer stored fp_sugar theorems into the "current" theory when retrieving an fp_sugar (avoids non-trivial merges) | changeset | files |
| Wed, 21 Aug 2013 12:28:34 +0200 | haftmann | reference to datatype refinment paper | changeset | files |
| Wed, 21 Aug 2013 10:58:15 +0200 | traytel | tuned theory imports | changeset | files |
| Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | avoid constructor name clash | changeset | files |
| Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | renamed theory files to be closer to (new) command names | changeset | files |