From 66801cd904d3b4e18ab71cd9116c3e7ccfdf8b70 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Thu, 23 Mar 2017 13:07:44 +0100
Subject: [PATCH] tweak

---
 source/mmt/Quantities.mmt | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/source/mmt/Quantities.mmt b/source/mmt/Quantities.mmt
index 84382b4..75cd587 100644
--- a/source/mmt/Quantities.mmt
+++ b/source/mmt/Quantities.mmt
@@ -4,31 +4,31 @@ import qe http://mathhub.info/MMT/physics-units 
 /T   This is a theory containing the electric displacement. 
 
 theory Displacement : qe:?QEBase  =
-        meta modeltype physical_quantity 
+  meta modeltype physical_quantity 
 	displacement_dim : type  = QE (ElectricCharge /' (SIlength * SIlength)) 
 	displacement :  displacement_dim  # D 
 
 	
 theory Permittivity : qe:?QEBase  =
-        meta modeltype physical_quantity 
+  meta modeltype physical_quantity 
 	permittivity_dim : type  = QE (ElectricCharge /' (ElectricPotential * SIlength)) 
 	permittivity :  permittivity_dim  # εs 
 
 	
 theory Density : qe:?QEBase =
-        meta modeltype physical_quantity 
+  meta modeltype physical_quantity 
 	density_dim : type  = QE (DimNone /' (SIlength * SIlength * SIlength)) 
 	density : density_dim 
 
 	
 theory CurrentDensity : qe:?QEBase =
-        meta modeltype physical_quantity 
+  meta modeltype physical_quantity 
 	currentdensity_dim : type  = QE (SIcurrent /' Area) 
 	currentdensity : currentdensity_dim 
 
 	
 theory RecombinationRate : qe:?QEBase =
-        meta modeltype physical_quantity 
+  meta modeltype physical_quantity 
 	recombinationrate_dim : type  = QE (DimNone /' (Volume * SItime)) 
 	recombinationrate : recombinationrate_dim  # R 
 
-- 
GitLab