Tue, 27 Jan 2009 13:41:45 +0100 | wenzelm | recovered example types from WordMain.thy; | file | diff | annotate |
Mon, 26 Jan 2009 22:14:17 +0100 | haftmann | tuned header | file | diff | annotate |
Sun, 17 Feb 2008 06:49:53 +0100 | huffman | New simpler representation of numerals, using Bit0 and Bit1 instead of BIT, B0, and B1 | file | diff | annotate |
Fri, 02 Nov 2007 12:35:27 +0100 | kleing | Added reference to Jeremy Dawson's paper on the word library. | file | diff | annotate |
Tue, 28 Aug 2007 20:13:47 +0200 | huffman | revert to Word library version from 2007/08/20 | file | diff | annotate |
Tue, 28 Aug 2007 03:49:18 +0200 | huffman | Word Examples directory | file | diff | annotate |