Mon, 18 Aug 2014 13:46:22 +0200 | desharna | renamed 'rel_mono_strong' to 'rel_mono_strong0' | changeset | files |
Sun, 17 Aug 2014 22:27:58 +0200 | blanchet | use 'image_mset' as BNF map function | changeset | files |
Sun, 17 Aug 2014 16:24:04 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
Sat, 16 Aug 2014 22:14:57 +0200 | wenzelm | updated to named_theorems; | changeset | files |
Sat, 16 Aug 2014 21:11:08 +0200 | wenzelm | updated to named_theorems; | changeset | files |
Sat, 16 Aug 2014 20:46:59 +0200 | wenzelm | updated to named_theorems; | changeset | files |