Gregory Malecha (171768c4) at 06 May 12:15
Ralf Jung (171768c4) at 06 May 12:06
Pick and name universes for [bi_tforall] and [bi_texist].
Ralf Jung (e446d19e) at 06 May 12:05
Pick and name universes for [bi_tforall] and [bi_texist].
Ralf Jung (c9cb270c) at 06 May 08:33
Pick and name universes for [bi_tforall] and [bi_texist].
Gregory Malecha (ac310b6a) at 07 Apr 06:02
Gregory Malecha (ac310b6a) at 07 Apr 02:27
Minor notation cleanup to avoid casts.
... and 1735 more commits
Gregory Malecha (6be2aa4d) at 07 Mar 20:26
Drop universe alias + add test case.