DIGEST 11f8098ccc9833a815a1a9321e4ab269
FStdlib.Logic.Description
R905:915 Stdlib.Logic.ChoiceFacts <> <> lib
ax 950:982 <> constructive_definite_description
binder 996:996 <> A:1
R1012:1013 Corelib.Init.Notations <> ::type_scope:x_'->'_x not
R1011:1011 Stdlib.Logic.Description <> A:1 var
binder 1007:1007 <> P:2
R1025:1025 Corelib.Init.Notations <> ::type_scope:x_'->'_x not
R1040:1044 Corelib.Init.Notations <> ::type_scope:x_'->'_x not
R1026:1033 Corelib.Init.Logic <> ::type_scope:'exists'_'!'_x_'..'_x_','_x not
R1035:1036 Corelib.Init.Logic <> ::type_scope:'exists'_'!'_x_'..'_x_','_x not
binder 1034:1034 <> x:3
R1037:1037 Stdlib.Logic.Description <> P:2 var
R1039:1039 Stdlib.Logic.Description <> x:3 var
R1045:1046 Corelib.Init.Specif <> ::type_scope:'{'_x_':'_x_'|'_x_'}' not
R1048:1050 Corelib.Init.Specif <> ::type_scope:'{'_x_':'_x_'|'_x_'}' not
R1052:1054 Corelib.Init.Specif <> ::type_scope:'{'_x_':'_x_'|'_x_'}' not
R1058:1059 Corelib.Init.Specif <> ::type_scope:'{'_x_':'_x_'|'_x_'}' not
R1051:1051 Stdlib.Logic.Description <> A:1 var
binder 1047:1047 <> x:4
R1055:1055 Stdlib.Logic.Description <> P:2 var
R1057:1057 Stdlib.Logic.Description <> x:4 var
