Sun, 03 Dec 2017 19:09:42 +0100 | wenzelm | simplified session (again, see 39e29972cb96): WordExamples requires < 1s; | file | diff | annotate | base |
Wed, 22 Aug 2007 21:09:21 +0200 | huffman | removed Word/Size.thy; | file | diff | annotate |
Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | file | diff | annotate |