Mon, 12 Apr 2004 19:54:32 +0200 | oheimb | removed o2l and fold_rel; moved postfix to Library/List_Prefix.thy | changeset | files |
Mon, 12 Apr 2004 19:54:09 +0200 | oheimb | added theorem chg_map_other | changeset | files |
Mon, 12 Apr 2004 12:52:08 +0200 | oheimb | added HOLCF/Streams.thy (with concatenation etc.) | changeset | files |