PwLAR LISTENS TO YOUR BODY POLAR FT1 POLAR FT2 User Manual ENGLISH CONTENTS 1 BENEFITS OF YOUR POLAR FT1 POLAR FT2 TRAINING COMPUTER 3 2 GET STARTED 5 Get to Know Your FT1 FT2 Training Computer 5 Menu Structure 5 Display Symbols 5 Easy One Button Logic 6 Settings 6 Set the Time 6 Set the Date 7 Set Your Age Set Your Target Heart Rate Limits and Alarm 3 TRAINING 10 Wear the Heart Rate Sensor 10 Start Training 10 During Training 10
Section 1 Introduction Section 1 Introduction UNISEX a UNIx based Symbolic EXecutor for Pascal provides an environment for testing and verification of programs This document is a guide to using UNISEX Section 2 presents an overview of the capabilities and usage of the symbolic executor itself Section 3 describes UNISEX Pascal a Pascal subset with an integrated assertion language A more detailed description can be found in The UNISEX Pascal Language Reference Manual Sect