| Sat, 27 May 2023 13:29:13 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 26 May 2023 13:19:49 +0200 | wenzelm | clarified treatment of context; | changeset | files |
| Fri, 26 May 2023 11:47:45 +0200 | wenzelm | clarified treatment of context; | changeset | files |
| Fri, 26 May 2023 11:46:51 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 26 May 2023 10:34:39 +0200 | desharna | NEWS | changeset | files |
| Fri, 26 May 2023 10:34:32 +0200 | desharna | renamed notin_fset to not_fmember | changeset | files |
| Fri, 26 May 2023 09:59:06 +0200 | desharna | added author | changeset | files |
| Fri, 26 May 2023 09:56:20 +0200 | desharna | merged | changeset | files |
| Fri, 26 May 2023 09:49:45 +0200 | desharna | adapted Transfer_Debug from fmember to fempty | changeset | files |
| Fri, 26 May 2023 09:48:55 +0200 | desharna | renamed variables | changeset | files |
| Wed, 17 May 2023 09:00:04 +0200 | desharna | merged | changeset | files |
| Tue, 16 May 2023 23:41:20 +0200 | desharna | fixed lemma name | changeset | files |
| Tue, 16 May 2023 22:23:05 +0200 | desharna | redefined FSet.fmember as an abbreviation based on Set.member | changeset | files |
| Tue, 16 May 2023 14:16:20 +0200 | desharna | replaced some lemmas' implicit formulas by explicit ones to avoid silent changes | changeset | files |