Sat, 30 May 2009 08:16:44 +0200 | haftmann | corrected bound/unbounded flag for nat numerals | changeset | files |
Fri, 29 May 2009 17:27:00 +0200 | haftmann | removed dead theory Relation_Power | changeset | files |
Thu, 28 May 2009 22:54:57 -0700 | huffman | fix reference to dist_def | changeset | files |