| Mon, 06 Apr 2015 13:34:22 +0200 | wenzelm | support local command setup; | changeset | files |
| Mon, 06 Apr 2015 13:28:54 +0200 | wenzelm | proper header; | changeset | files |
| Mon, 06 Apr 2015 12:51:25 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 06 Apr 2015 12:37:21 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 06 Apr 2015 15:23:50 +0200 | nipkow | new theory Library/Tree_Multiset.thy | changeset | files |
| Sat, 04 Apr 2015 22:22:38 +0200 | wenzelm | more standard local_theory command setup; | changeset | files |
| Sat, 04 Apr 2015 22:01:30 +0200 | wenzelm | some explanation of 'private'; | changeset | files |