// Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

import 'dart:math';  // OK
import 'dummy.dart';
import 'dart:html';  // LINT
import 'dart:isolate';  // LINT

export 'dart:math';  // OK
export 'dummy.dart';
export 'dart:html';  // LINT
export 'dart:isolate';  // LINT