| 2006-11-07 | haftmann | made locale partial_order compatible with axclass order; changed import order; consecutive changes | file | diff | annotate |
| 2005-04-21 | nipkow | tuning locales | file | diff | annotate |
| 2005-04-20 | nipkow | Used locale interpretations everywhere. | file | diff | annotate |
| 2005-02-10 | nipkow | Moved oderings from HOL into the new Orderings.thy | file | diff | annotate |