# -*- coding: utf-8 -*-
# Generated by Django 1.11.6 on 2018-01-15 23:04
from __future__ import unicode_literals

from django.db import migrations, models


class Migration(migrations.Migration):

    dependencies = [
        ('ringapp', '0041_auto_20171021_2116'),
    ]

    operations = [
        migrations.RemoveField(
            model_name='citation',
            name='publication',
        ),
        migrations.RemoveField(
            model_name='commequivalents',
            name='property',
        ),
        migrations.RemoveField(
            model_name='comminvariance',
            name='example',
        ),
        migrations.RemoveField(
            model_name='comminvariance',
            name='metaproperty',
        ),
        migrations.RemoveField(
            model_name='comminvariance',
            name='property',
        ),
        migrations.RemoveField(
            model_name='comminvariance',
            name='theorem',
        ),
        migrations.RemoveField(
            model_name='commlogic',