| Sun, 02 Dec 2007 20:38:42 +0100 | chaieb | Eliminated unused theorems minusinf_ex and minusinf_bex | changeset | files |
| Fri, 30 Nov 2007 20:13:08 +0100 | haftmann | first working version of instance target | changeset | files |
| Fri, 30 Nov 2007 20:13:07 +0100 | haftmann | interpretation for typedefs | changeset | files |
| Fri, 30 Nov 2007 20:13:06 +0100 | haftmann | using intro_locales instead of unfold_locales if appropriate | changeset | files |
| Fri, 30 Nov 2007 20:13:05 +0100 | haftmann | more canonical attribute application | changeset | files |
| Fri, 30 Nov 2007 20:13:03 +0100 | haftmann | adjustions to due to instance target | changeset | files |
| Fri, 30 Nov 2007 16:23:52 +0100 | krauss | new declaration [[measure_function f]] to tell lexicographic_order about custom measure functions to use. | changeset | files |
| Fri, 30 Nov 2007 15:40:14 +0100 | nipkow | *** empty log message *** | changeset | files |