Mon, 23 Dec 2013 14:24:20 +0100 | haftmann | prefer plain bool over dedicated type for binary digits | file | diff | annotate |
Thu, 31 Oct 2013 11:44:20 +0100 | haftmann | separated bit operations on type bit from generic syntactic bit operations | file | diff | annotate |
Fri, 06 Sep 2013 20:59:36 +0200 | haftmann | slight cleanup of lemma locations; tuned proof | file | diff | annotate |
Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | some vague grouping of related theorems, with slight tuning of headings and sorting out of dubious lemmas into separate theory | file | diff | annotate |
Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
Wed, 30 Jun 2010 16:28:14 +0200 | haftmann | more speaking theory names | file | diff | annotate | base |