| Fri, 03 Apr 1998 09:54:48 +0200 | oheimb | improved \tt appearance of many ASCII special symbols like # | changeset | files |
| Thu, 02 Apr 1998 17:19:02 +0200 | oheimb | split_all_tac now fails if there is nothing to split | changeset | files |
| Thu, 02 Apr 1998 13:49:04 +0200 | paulson | new theorems | changeset | files |
| Thu, 02 Apr 1998 13:48:48 +0200 | paulson | changed if_bool_eq to if_bool_eq_conj | changeset | files |
| Thu, 02 Apr 1998 13:48:28 +0200 | paulson | changed if_bool_eq to if_bool_eq_conj and added if_bool_eq_disj | changeset | files |
| Thu, 02 Apr 1998 13:47:03 +0200 | paulson | New theorems card_Diff_le and card_insert_le; tidied | changeset | files |
| Thu, 02 Apr 1998 12:45:47 +0200 | oheimb | introduced functions for updating the wrapper lists | changeset | files |
| Thu, 02 Apr 1998 12:39:32 +0200 | oheimb | *** empty log message *** | changeset | files |