| 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 |
| Sat, 04 Apr 2015 21:30:58 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 04 Apr 2015 21:21:40 +0200 | wenzelm | more general notion of command span: command keyword not necessarily at start; | changeset | files |
| Sat, 04 Apr 2015 14:04:11 +0200 | wenzelm | support private scope for individual local theory commands; | changeset | files |