| Mon, 19 Jul 2004 18:12:49 +0200 | berghofe | Added function unprefix. | changeset | files |
| Sun, 18 Jul 2004 12:01:08 +0200 | schirmer | tuned | changeset | files |
| Fri, 16 Jul 2004 19:21:59 +0200 | schirmer | added: get_extT_fields and | changeset | files |
| Fri, 16 Jul 2004 17:33:43 +0200 | nipkow | added Complex/root | changeset | files |
| Fri, 16 Jul 2004 17:33:12 +0200 | nipkow | Fine-tuned sum syntax. | changeset | files |
| Fri, 16 Jul 2004 17:32:34 +0200 | nipkow | Corrected TeX problem. | changeset | files |
| Fri, 16 Jul 2004 17:31:54 +0200 | nipkow | Created. | changeset | files |
| Fri, 16 Jul 2004 17:31:44 +0200 | nipkow | Corrected TeX problems. | changeset | files |
| Fri, 16 Jul 2004 11:46:59 +0200 | nipkow | Added nice latex syntax. | changeset | files |
| Fri, 16 Jul 2004 09:36:04 +0200 | wenzelm | int_ord = Int.compare, string_ord = String.compare; | changeset | files |
| Thu, 15 Jul 2004 15:47:39 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 15 Jul 2004 15:39:51 +0200 | nipkow | more summation syntax | changeset | files |
| Thu, 15 Jul 2004 15:39:40 +0200 | nipkow | more syntax | changeset | files |
| Thu, 15 Jul 2004 15:32:32 +0200 | paulson | redefining sumr to be a translation to setsum | changeset | files |
| Thu, 15 Jul 2004 13:24:45 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 15 Jul 2004 13:11:34 +0200 | nipkow | Moved to new m<..<n syntax for set intervals. | changeset | files |
| Thu, 15 Jul 2004 08:38:37 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 14 Jul 2004 10:25:21 +0200 | nipkow | ? | changeset | files |
| Wed, 14 Jul 2004 10:25:03 +0200 | nipkow | added {0::nat..n(} = {..n(} | changeset | files |
| Tue, 13 Jul 2004 12:32:01 +0200 | nipkow | Got rid of Summation and made it a translation into setsum instead. | changeset | files |
| Mon, 12 Jul 2004 19:56:58 +0200 | webertj | read_dimacs_cnf_file added | changeset | files |
| Mon, 12 Jul 2004 15:15:23 +0200 | oheimb | added README | changeset | files |
| Mon, 12 Jul 2004 15:05:30 +0200 | oheimb | corrected bibtex entry | changeset | files |
| Mon, 12 Jul 2004 12:11:46 +0200 | nipkow | *** empty log message *** | changeset | files |
| Sun, 11 Jul 2004 20:35:50 +0200 | wenzelm | context dependent components; | changeset | files |
| Sun, 11 Jul 2004 20:35:23 +0200 | wenzelm | added fold_rev: ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b; | changeset | files |
| Sun, 11 Jul 2004 20:34:50 +0200 | wenzelm | improved print_ss; tuned; | changeset | files |
| Sun, 11 Jul 2004 20:34:25 +0200 | wenzelm | Simplifier and Classical Reasoner now support proof context dependent plug-ins; | changeset | files |