doc-src/IsarRef/Thy/Generic.thy
Sat, 11 Jun 2011 16:05:17 +0200 wenzelm cover method "deepen" concisely;
Sat, 11 Jun 2011 15:36:46 +0200 wenzelm moved/updated single-step tactics;
Sat, 11 Jun 2011 15:03:31 +0200 wenzelm tuned sections;
less more (0) -30 -10 -3 tip