| Thu, 13 Apr 2006 12:01:03 +0200 | wenzelm | added dest_conjunction_list; | changeset | files |
| Thu, 13 Apr 2006 12:01:02 +0200 | wenzelm | export unflat (again); | changeset | files |
| Thu, 13 Apr 2006 12:01:01 +0200 | wenzelm | use conjunction stuff from conjunction.ML; | changeset | files |
| Thu, 13 Apr 2006 12:01:00 +0200 | wenzelm | expand_atom: Type.raw_match; | changeset | files |
| Thu, 13 Apr 2006 12:00:59 +0200 | wenzelm | added equal_elim_rule2; | changeset | files |
| Thu, 13 Apr 2006 12:00:58 +0200 | wenzelm | tuned comment; | changeset | files |
| Thu, 13 Apr 2006 12:00:56 +0200 | wenzelm | ignore sorts of consts declarations; | changeset | files |
| Thu, 13 Apr 2006 12:00:55 +0200 | wenzelm | reworded add_axclass(_i): canonical specification format, | changeset | files |
| Thu, 13 Apr 2006 12:00:54 +0200 | wenzelm | added conjunction.ML; | changeset | files |
| Thu, 13 Apr 2006 12:00:53 +0200 | wenzelm | Meta-level conjunction. | changeset | files |
| Thu, 13 Apr 2006 12:00:51 +0200 | wenzelm | added conjunction.ML; | changeset | files |
| Thu, 13 Apr 2006 12:00:50 +0200 | wenzelm | Sign.typ_equiv; | changeset | files |
| Thu, 13 Apr 2006 11:22:44 +0200 | haftmann | added subversion treatment | changeset | files |
| Tue, 11 Apr 2006 16:00:09 +0200 | wenzelm | classes: prefer thy operations; | changeset | files |
| Tue, 11 Apr 2006 16:00:08 +0200 | wenzelm | export pretty_classrel/arity; | changeset | files |
| Tue, 11 Apr 2006 16:00:07 +0200 | wenzelm | 'axclass': no parameters; | changeset | files |
| Tue, 11 Apr 2006 16:00:06 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2006 16:00:05 +0200 | wenzelm | removed superclasses (see sign.ML); | changeset | files |
| Tue, 11 Apr 2006 16:00:03 +0200 | wenzelm | added super_classes (from sorts.ML); | changeset | files |
| Tue, 11 Apr 2006 16:00:02 +0200 | wenzelm | added mk_classrel, dest_classrel, mk_arities, dest_arity (from axclass.ML); | changeset | files |
| Tue, 11 Apr 2006 16:00:01 +0200 | wenzelm | moved abstract syntax operations to logic.ML; | changeset | files |
| Mon, 10 Apr 2006 16:00:34 +0200 | obua | Moved stuff from Ring_and_Field to Matrix | changeset | files |
| Mon, 10 Apr 2006 14:37:23 +0200 | berghofe | Adapted to changed type of add_typedef_i. | changeset | files |
| Mon, 10 Apr 2006 11:35:02 +0200 | nipkow | Hoare(Parallel) dependencies on document/* | changeset | files |
| Mon, 10 Apr 2006 11:34:15 +0200 | nipkow | added references | changeset | files |
| Mon, 10 Apr 2006 11:33:36 +0200 | nipkow | Minimal doc | changeset | files |
| Mon, 10 Apr 2006 11:33:22 +0200 | nipkow | Included cyclic list examples | changeset | files |
| Mon, 10 Apr 2006 08:30:26 +0200 | haftmann | fixed value restriction | changeset | files |
| Mon, 10 Apr 2006 08:26:26 +0200 | nipkow | Added splicing algorithm. | changeset | files |
| Mon, 10 Apr 2006 00:34:46 +0200 | wenzelm | hide (open) const; | changeset | files |