| Fri, 08 Jul 2011 16:01:14 +0200 | wenzelm | eliminated hard tabs; | changeset | files |
| Fri, 08 Jul 2011 15:18:28 +0200 | wenzelm | merged | changeset | files |
| Fri, 08 Jul 2011 12:18:46 +0200 | nipkow | merged | changeset | files |
| Thu, 07 Jul 2011 21:53:53 +0200 | nipkow | added translation to fix critical pair between abbreviations for surj and ~= | changeset | files |
| Thu, 07 Jul 2011 23:33:14 +0200 | bulwahn | floor and ceiling definitions are not code equations -- this enables trivial evaluation of floor and ceiling | changeset | files |
| Fri, 08 Jul 2011 15:17:40 +0200 | wenzelm | standardized String.concat towards implode; | changeset | files |
| Fri, 08 Jul 2011 14:37:19 +0200 | wenzelm | more abstract Thy_Load.load_file/use_file for external theory resources; | changeset | files |
| Fri, 08 Jul 2011 13:59:54 +0200 | wenzelm | comment; | changeset | files |