beta-ziliani/sf — pull request #1 by fniksic (2013-12-10 01:10:51+00:00)
Title: A few changes to Basics.v

There are a few cases where the text still talks about tactics like reflexivity and intros.