| Mon, 20 Aug 2007 18:07:25 +0200 | haftmann | conciliated Inf/Inf_fin | changeset | files |
| Mon, 20 Aug 2007 17:46:32 +0200 | wenzelm | type_check: tuned singleton funs case; | changeset | files |
| Mon, 20 Aug 2007 17:46:31 +0200 | wenzelm | theory header: more precise imports; | changeset | files |
| Mon, 20 Aug 2007 17:34:04 +0200 | huffman | Word/document/root.tex | changeset | files |
| Mon, 20 Aug 2007 17:31:59 +0200 | huffman | new root.tex for HOL-Word | changeset | files |
| Mon, 20 Aug 2007 17:31:01 +0200 | huffman | no_document for Infinite_Set, Parity | changeset | files |
| Mon, 20 Aug 2007 11:18:18 +0200 | nipkow | removed allpairs | changeset | files |
| Mon, 20 Aug 2007 11:18:07 +0200 | nipkow | removed allpairs - use list comprehension! | changeset | files |
| Mon, 20 Aug 2007 04:44:35 +0200 | kleing | added header | changeset | files |
| Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | changeset | files |
| Mon, 20 Aug 2007 00:22:18 +0200 | kleing | boolean algebras as locales and numbers as types by Brian Huffman | changeset | files |
| Sun, 19 Aug 2007 21:21:37 +0200 | nipkow | Made UN_Un simp | changeset | files |
| Sun, 19 Aug 2007 12:43:05 +0200 | aspinall | Use 376/377 specials for sendback markup | changeset | files |
| Sat, 18 Aug 2007 21:27:52 +0200 | wenzelm | ML system provides get_print_depth; | changeset | files |
| Sat, 18 Aug 2007 19:25:28 +0200 | webertj | fixed a bug in demult: -a in (-a * b) is no longer treated as atomic | changeset | files |
| Sat, 18 Aug 2007 17:42:39 +0200 | wenzelm | removed obsolete ML bindings; | changeset | files |
| Sat, 18 Aug 2007 17:42:38 +0200 | wenzelm | converted ex/MT.ML; | changeset | files |
| Sat, 18 Aug 2007 13:32:28 +0200 | wenzelm | make HOL-ex earlier; | changeset | files |
| Sat, 18 Aug 2007 13:32:26 +0200 | wenzelm | NAMED_CRITICAL; | changeset | files |
| Sat, 18 Aug 2007 13:32:25 +0200 | wenzelm | removed stateful init: operations take proper theory argument; | changeset | files |
| Sat, 18 Aug 2007 13:32:23 +0200 | wenzelm | removed dead code: const_typargs, num_typargs, init; | changeset | files |
| Sat, 18 Aug 2007 13:32:22 +0200 | wenzelm | proper signature; | changeset | files |
| Sat, 18 Aug 2007 13:32:21 +0200 | wenzelm | removed obsolete atp_method; | changeset | files |
| Sat, 18 Aug 2007 13:32:20 +0200 | wenzelm | export more tactics; | changeset | files |
| Sat, 18 Aug 2007 13:32:18 +0200 | wenzelm | renamed ResAtpMethods.setup; | changeset | files |
| Sat, 18 Aug 2007 00:22:22 +0200 | wenzelm | added at-poly-5.1-para; | changeset | files |
| Fri, 17 Aug 2007 23:10:50 +0200 | wenzelm | added CRITICAL section markup; | changeset | files |
| Fri, 17 Aug 2007 23:10:49 +0200 | wenzelm | updated generated file; | changeset | files |
| Fri, 17 Aug 2007 23:10:46 +0200 | wenzelm | removed obsolete touch_all_thys; | changeset | files |
| Fri, 17 Aug 2007 23:10:45 +0200 | wenzelm | compress: proper check_thy; | changeset | files |