| Thu, 26 Aug 2010 17:37:26 +0200 | wenzelm | slightly more abstract data handling in Fast_Lin_Arith; | changeset | files |
| Thu, 26 Aug 2010 17:01:12 +0200 | wenzelm | theory data merge: prefer left side uniformly; | changeset | files |
| Thu, 26 Aug 2010 16:56:45 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 26 Aug 2010 16:34:10 +0200 | wenzelm | simplification/standardization of some theory data; | changeset | files |
| Thu, 26 Aug 2010 16:25:25 +0200 | wenzelm | misc tuning and simplification, notably theory data; | changeset | files |
| Thu, 26 Aug 2010 15:48:08 +0200 | wenzelm | renamed Local_Theory.theory(_result) to Local_Theory.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools; | changeset | files |
| Thu, 26 Aug 2010 13:09:12 +0200 | wenzelm | renamed ProofContext.theory(_result) to ProofContext.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools; | changeset | files |