Mon, 10 Aug 1998 16:57:07 +0200 | wenzelm | val single: 'a -> 'a list; | changeset | files |
Mon, 10 Aug 1998 11:51:09 +0200 | paulson | Tidying of AC, especially of AC16_WO4 using a locale | changeset | files |
Mon, 10 Aug 1998 11:30:12 +0200 | nipkow | More lemmas about lex. | changeset | files |
Sat, 08 Aug 1998 14:12:25 +0200 | nipkow | *** empty log message *** | changeset | files |
Sat, 08 Aug 1998 14:00:56 +0200 | nipkow | List now contains some lexicographic orderings. | changeset | files |
Thu, 06 Aug 1998 18:21:14 +0200 | wenzelm | added store_tthm; | changeset | files |
Thu, 06 Aug 1998 17:51:03 +0200 | berghofe | Improved well-formedness check. | changeset | files |