#
88576b30 |
|
21-Apr-2016 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix bug caused by intro of new entry-points to Portable Now that Portable includes a bunch of things that used to be in U, some forms of type abbreviation would result in an unloadable theory. Test-case demonstrates the problem.
|