| File | Mode | Size |
|---|---|---|
| AlgReflection.v | -rw-r--r-- | 16.9 KB |
| CornTac.v | -rw-r--r-- | 1.9 KB |
| DiffTactics1.v | -rw-r--r-- | 1.4 KB |
| DiffTactics2.v | -rw-r--r-- | 11.8 KB |
| DiffTactics3.v | -rw-r--r-- | 5.5 KB |
| FieldReflection.v | -rw-r--r-- | 36.8 KB |
| Qauto.v | -rw-r--r-- | 1.9 KB |
| Rational.v | -rw-r--r-- | 2.1 KB |
| RingReflection.v | -rw-r--r-- | 32.4 KB |
| Step.v | -rw-r--r-- | 1.4 KB |
| csetoid_rewrite.v | -rw-r--r-- | 57.4 KB |
