| Tue, 26 Mar 2013 12:20:56 +0100 | hoelzl | rename RealDef to Real | file | diff | annotate |
| Fri, 12 Oct 2012 18:58:20 +0200 | wenzelm | discontinued obsolete typedef (open) syntax; | file | diff | annotate |
| Wed, 10 Oct 2012 17:43:23 +0200 | wenzelm | eliminated some remaining uses of typedef with implicit set definition; | file | diff | annotate |
| Wed, 15 Aug 2012 11:04:56 +0200 | blanchet | fixed handling of "int" in the wake of its port to the quotient package | file | diff | annotate |
| Wed, 30 May 2012 18:09:23 +0200 | huffman | temporarily comment out nitpick examples broken by changes to Int.thy | file | diff | annotate |
| Fri, 11 May 2012 00:45:24 +0200 | blanchet | fixed "real" after they were redefined as a 'quotient_type' | file | diff | annotate |
| Thu, 10 May 2012 12:23:20 +0200 | huffman | temporarily comment out broken nitpick example | file | diff | annotate |