Wed, 15 Apr 2009 15:38:30 +0200 | haftmann | say farewell to code related to old code_funcgr module | changeset | files |
Wed, 15 Apr 2009 15:34:54 +0200 | haftmann | wrecked old code_funcgr module | changeset | files |
Wed, 15 Apr 2009 15:34:00 +0200 | haftmann | index type is a semiring_div | changeset | files |
Wed, 15 Apr 2009 15:30:39 +0200 | haftmann | theory NatBin now named Nat_Numeral | changeset | files |
Wed, 15 Apr 2009 15:30:38 +0200 | haftmann | default instantiation for unit type | changeset | files |
Wed, 15 Apr 2009 15:30:37 +0200 | haftmann | more coherent developement in Divides.thy and IntDiv.thy | changeset | files |
Tue, 21 Apr 2009 17:07:44 -0700 | huffman | add more examples to Domain_ex.thy | changeset | files |