Thu, 03 Apr 2008 18:42:36 +0200 | wenzelm | replaced ETX/EOT by ENQ/ACK, which are less likely to be interpreted by tty etc.; | changeset | files |
Thu, 03 Apr 2008 18:42:34 +0200 | wenzelm | tuned comments; | changeset | files |
Thu, 03 Apr 2008 18:13:50 +0200 | berghofe | Added skip_mono flag to inductive definition package. | changeset | files |
Thu, 03 Apr 2008 17:55:12 +0200 | berghofe | Added skip_mono flag to inductive definition package. | changeset | files |
Thu, 03 Apr 2008 17:54:19 +0200 | berghofe | Added skip_mono flag and inductive_flags type. | changeset | files |
Thu, 03 Apr 2008 17:52:51 +0200 | berghofe | Deleted code for axiomatic introduction of datatypes. Instead, the package | changeset | files |