Tue, 09 Nov 2010 23:24:46 +0100 | wenzelm | misc tuning and simplification, using Isabelle_Sidekick.Asset (not sidekick.Asset, which is dynamically dispatched to slightly different semantics); | changeset | files |
Tue, 09 Nov 2010 22:37:10 +0100 | wenzelm | updated version; | changeset | files |
Tue, 09 Nov 2010 21:52:05 +0100 | wenzelm | private counter, to keep externalized ids a bit smaller; | changeset | files |