| Tue, 22 Jan 2019 22:57:16 +0000 | Angeliki KoutsoukouArgyraki | minor tagging updates in 13 theories | changeset | files |
| Tue, 22 Jan 2019 21:16:48 +0000 | Angeliki KoutsoukouArgyraki | merged | changeset | files |
| Tue, 22 Jan 2019 21:13:23 +0000 | Angeliki KoutsoukouArgyraki | redid tagging for 3 theories i.e. Determinants, Change_of_Vars, Finite_Cartesian_Product | changeset | files |
| Tue, 22 Jan 2019 19:36:17 +0100 | wenzelm | Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab; | changeset | files |