isabelle: Changelog

haftmann [Thu, 09 Jun 2005 11:07:37 +0200] rev 16329

added chmod for packages

haftmann [Thu, 09 Jun 2005 11:04:54 +0200] rev 16328

added CONTRIBUTORS

haftmann [Thu, 09 Jun 2005 11:04:02 +0200] rev 16327

a very little cleanup

huffman [Wed, 08 Jun 2005 23:43:19 +0200] rev 16326

make up_eq and up_less into simp rules

ballarin [Wed, 08 Jun 2005 16:11:09 +0200] rev 16325

Fixed "axiom" generation for mixed locales with and without predicates.

haftmann [Wed, 08 Jun 2005 15:14:09 +0200] rev 16324

added some notes

haftmann [Wed, 08 Jun 2005 14:54:39 +0200] rev 16323

added file acces rights handling

huffman [Wed, 08 Jun 2005 02:28:28 +0200] rev 16322

fix usage of inverts lemma, which has fewer premises now

huffman [Wed, 08 Jun 2005 02:27:19 +0200] rev 16321

faster proofs of inverts and injects lemmas, with fewer strictness hypotheses

huffman [Wed, 08 Jun 2005 01:41:20 +0200] rev 16320

fixed renamed lemma

isabelle