والمجلّد الرابع :

أربعة عشر ألف بيت وتسعمائة وعشرة أبيات [كذا] تقريباً ، يتضمن : مسألة بناء العام على الخاص ، ومسألة عدم كون السبب مخصصاً ، ومسألة تخصيص الأكثر ، ومسألة تعقب جمل متعدّدة العام ، ومسألة أنّ ترك الاستفصال يفيد العموم في المقال ، وباب المطلق والمقيّد ، وباب المجمل والمبين ، ومبحث الإجماع والشهرة.

فرغ قدّس سرّه منه ثاني عشر ربيع الثاني سنة ألف ومائتين وسبع وسبعين.

والمجلّد الخامس :

خمسة عشر ألف بيت وثلاثمائة بيت تقريباً يشتمل على : مبحثي حجّية القطع والظنّ وفروعهما.

فرغ قدّس سرّه منه في السابع والعشرين من شهر شوال سنة ألف ومائتين وثمان وسبعين.

والمجلّد السادس :

سبعة عشر ألف بيت وتسع مائة وعشرون بيتاً تقريباً ، يشتمل على : مباحث البراءة والاشتغال والتخيير ، وفي خاتمته قاعدة الضرر.

فرغ قدّس سرّه منه في حادي عشر شهر جمادى الأولى سنة ألف ومائتين وثمانين ، وفرغ من إعادة النظر فيه في ثاني عشر شهر ذي الحجّة الحرام سنة ألف وثلاثمائة.

والمجلّد السابع :

في الاستصحاب يتجاوز عن واحد وعشرين ألف بيت.

فرغ قدّس سرّه منه في رابع عشر شهر رجب سنة ألف ومائتين وإحدى وثمانين ، وفرغ من إعادة النظر فيه في ثالث عشر شهر ذي الحجّة سنة ألف وثلاثمائة وثلاث.