Index of /iron/icebox/iron-head.old-darcs/done/Iron/Tactics

	Name	Last modified	Size	Description
	Parent Directory		-
	LibTactics.v	2012-12-24 05:28	112K
	Burn.v	2012-12-31 03:34	3.5K
	Break.v	2013-04-26 13:23	2.7K
	Rewrite2.v	2013-04-26 13:23	1.9K
	Nope.v	2013-01-19 07:15	1.0K
	Case.v	2012-12-31 03:34	1.0K
	Rewrite.v	2012-12-31 03:34	853
	Have.v	2012-12-31 03:34	712
	Rip2.v	2012-12-31 03:34	666
	Short.v	2012-12-31 03:34	604
	Exists.v	2012-12-31 03:34	566
	Rip.v	2012-12-31 03:34	508
	Rip3.v	2013-01-31 12:12	430
	Comb.v	2012-12-31 03:34	320