| Mon, 16 Aug 2010 17:59:09 +0800 | Christian Urban | pinpointed the problem | file | diff | annotate |
| Tue, 27 Jul 2010 14:37:59 +0200 | Christian Urban | cleaned up a bit Abs.thy | file | diff | annotate |
| Wed, 23 Jun 2010 06:54:48 +0100 | Christian Urban | deleted compose-lemmas in Abs (not needed anymore) | file | diff | annotate |