Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
Tue, 02 Aug 2011 08:28:34 -0700 | huffman | Extended_Nat.thy: renamed iSuc to eSuc, standardized theorem names | file | diff | annotate |
Tue, 26 Jul 2011 13:50:03 +0200 | hoelzl | enat is a complete_linorder instance | file | diff | annotate |
Tue, 19 Jul 2011 14:38:48 +0200 | hoelzl | rename Fin to enat | file | diff | annotate |
Tue, 19 Jul 2011 14:38:29 +0200 | hoelzl | add ereal to typeclass infinity | file | diff | annotate |
Tue, 19 Jul 2011 14:37:49 +0200 | hoelzl | add nat => enat coercion | file | diff | annotate |
Tue, 19 Jul 2011 14:37:09 +0200 | hoelzl | Introduce infinity type class | file | diff | annotate |
Tue, 19 Jul 2011 14:35:44 +0200 | hoelzl | rename Nat_Infinity (inat) to Extended_Nat (enat) | file | diff | annotate | base |